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