Assurances for Self-Adaptive Systems Principles, Models, and Techniques - Cámara, Javier; Lemos, Rogério de; Ghezzi, Carlo; Lopes, Antónia (Springer Berlin Heidelberg : Imprint: Springer, 2013)