Self-adaptive software needs quantitative verification at runtime

@article{stochasticselfadaptation-cacm55,
acm = {2330686},
Address = {New York, NY, USA},
Author = {Calinescu, Radu and Ghezzi, Carlo and Kwiatkowska, Marta and Mirandola, Raffaela},
Doi = {10.1145/2330667.2330686},
Issn = {0001-0782},
Journal = {Communications of the ACM},
Month = sep,
Number = 9,
Numpages = 9,
Pages = {69--77},
Publisher = {ACM},
Title = {Self-adaptive software needs quantitative verification at runtime},
Url = {http://dl.acm.org/citation.cfm?doid=2330667.2330686},
Volume = 55,
Year = 2012}