D. Kaiser. University of Würzburg, Am Hubland, Informatikgebäude, 97074 Würzburg, Germany, Master Thesis, (September 2019)<b>Würzburg Software Engineering Award sponsored by infosim</b>.
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)