Romain Rouvoy Roman Vitenberg Frank Eliassen Enhancing Planning-Based Adaptation Middleware with Support for Dependability: a Case Study. 2008 11 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/134 db/journals/eceasst/eceasst11.html#RouvoyVE08