A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System
Software Engineering for Self-Adaptive Systems : A Research Roadmap