Adaptivity engineering : Modeling and quality assurance for self-adaptive software systems