Agent based Architecture for Modeling and Analysis of Self Adaptive Systems using Formal Methods
A Design Space for Self-Adaptive Systems