Agent based Architecture for Modeling and Analysis of Self Adaptive Systems using Formal Methods
A survey on engineering approaches for self-adaptive systems