Rouvoy, R.; Vitenberg, R.; Eliassen, F. Enhancing Planning-Based Adaptation Middleware With Support for Dependability: A Case Study. ECEASST 2008, 11.