Model-Based Simulation at Runtime for Self-Adaptive Systems
MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems