Basil Becker Holger Giese Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. 33-40 2008 ASE Workshops http://dx.doi.org/10.1109/ASEW.2008.4686291 conf/kbse/2008w db/conf/kbse/asew2008.html#BeckerG08