MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
Case Study Research: Design and Methods