Franck Fleurey Vegard Dehlen Nelly Bencomo Brice Morin Jean-Marc Jézéquel Modeling and Validating Dynamic Adaptation. 97-108 2008 MoDELS Workshops http://dx.doi.org/10.1007/978-3-642-01648-6_11 conf/models/2008w db/conf/models/models2008w.html#FleureyDBMJ08