Return to Article Details Enhancing Planning-Based Adaptation Middleware with Support for Dependability: a Case Study Download Download PDF