Software Engineering for Self-Adaptive Systems III. Assurances - de Lemos; Garlan, David; Ghezzi, Carlo; Giese, Holger (Springer International Publishing, 2017)