Self-adaptive software needs quantitative verification at runtime

@article{stochasticselfadaptation-cacm55,
   acm = {2330686},
   address = {New York, NY, USA},
   apice = {StochasticSelfAdaptationCACM55},
   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
}