Assurances for self-adaptive systems principles, models, and techniques - Cámara, Javier (Lecture notes in computer science, 2013)