Coordinated actor model of self-adaptive track-based traffic control systems
Modeling and analyzing MAPE-K feedback loops for self-adaptation