Agent based Architecture for Modeling and Analysis of Self Adaptive Systems using Formal Methods
Engineering self-adaptive systems through feedback loops