Heather Goldsby Betty H. C. Cheng Ji Zhang AMOEBA-RT: Run-Time Verification of Adaptive Software. 212-224 2007 MoDELS Workshops http://dx.doi.org/10.1007/978-3-540-69073-3_23 conf/models/2007w db/conf/models/models2007w.html#GoldsbyCZ07