@Article{CGKM12,
author={R. Calinescu and C. Ghezzi and M. Kwiatkowska and R. Mirandola},
title={Self-adaptive software needs quantitative verification at runtime},
journal={Communications of the ACM},
year={2012},

volume={55},
number={9},
pages={69-77},
publisher={},
month={},
note={},
key={}
}