K. Sachs, S. Kounev, J. Bacon, and A. Buchmann. Formal Methods and Stochastic Models for Performance Evaluation, Proceedings of the 4th European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27--28, 2007, volume 4748 of Lecture Notes in Computer Science (LNCS), page 228--244. Heidelberg, Germany, Springer Verlag, (September 2007)
K. Sachs, S. Kounev, J. Bacon, and A. Buchmann. Formal Methods and Stochastic Models for Performance Evaluation, Proceedings of the 4th European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27--28, 2007, volume 4748 of Lecture Notes in Computer Science (LNCS), page 228--244. Heidelberg, Germany, Springer Verlag, (September 2007)