MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
Architecture-driven self-adaptation and self-management in robotics systems