Rouvoy, R., Vitenberg, R. and Eliassen, F. (2008) “Enhancing Planning-Based Adaptation Middleware with Support for Dependability: a Case Study”, Electronic Communications of the EASST, 11. doi: 10.14279/tuj.eceasst.11.134.