K. Sachs, S. Kounev, J. Bacon, und 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 von Lecture Notes in Computer Science (LNCS), Seite 228--244. Heidelberg, Germany, Springer Verlag, (September 2007)