Radu Calinescu Marta Z. Kwiatkowska Using quantitative analysis to implement autonomic IT systems. 100-110 2009 ICSE http://dx.doi.org/10.1109/ICSE.2009.5070512 conf/icse/2009 db/conf/icse/icse2009.html#CalinescuK09