Model-based dependable composition of self-adaptive systems