You are about to access our book library "Assurances for Self-Adaptive Systems: Principles, Models, and Techniques (Lecture Notes in Computer Science Book 7740) full version" .