Continual Verification of Non-Functional Properties in Cloud-Based Systems. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq; Simos Gerasimou; Gabriel Costa Silva; Stanimir N. Pehlivanov (NiM-ALP@MoDELS, 2013)