A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System
Self-Managed Systems: an Architectural Challenge