Basil Becker Dirk Beyer Holger Giese Florian Klein Daniela Schilling Symbolic invariant verification for systems with dynamic structural adaptation. 72-81 2006 conf/icse/2006 ICSE http://doi.acm.org/10.1145/1134297 db/conf/icse/icse2006.html#BeckerBGKS06