Jane Hillston Marta Z. Kwiatkowska Miklós Telek Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. 145-147 2009 35 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2009.24 db/journals/tse/tse35.html#HillstonKT09