Coordinated actor model of self-adaptive track-based traffic control systems
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control