R. Nou, S. Kounev, und J. Torres. Formal Methods and Stochastic Models for Performance Evaluation, Proceedings of the 4th European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27-28, 2007, 4748, Seite 125--140. Heidelberg, Germany, Springer, (September 2007)