Coordinated Actors for Reliable Self-adaptive Systems
Modeling and analyzing MAPE-K feedback loops for self-adaptation