Coordinated actor model of self-adaptive track-based traffic control systems
Probabilistic Verification at Runtime for Self-Adaptive Systems