Ji Zhang Heather Goldsby Betty H. C. Cheng Modular verification of dynamically adaptive systems. 161-172 2009 AOSD http://doi.acm.org/10.1145/1509239.1509262 conf/aosd/2009 db/conf/aosd/aosd2009.html#ZhangGC09