Assurances for Self-Adaptive Systems - CÃ¡mara (Springer Berlin Heidelberg, 2013)