Katinka Wolter: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Lecture Notes in Computer Science 4748, Springer 2007, ISBN 978-3-540-75210-3