R. Rouvoy, R. Vitenberg, and F. Eliassen, “Enhancing Planning-Based Adaptation Middleware with Support for Dependability: a Case Study”, eceasst, vol. 11, Jun. 2008.