K. Stubenrauch. University of Würzburg, Am Hubland, Informatikgebäude, 97074 Würzburg, Germany, Bachelor Thesis, (Juli 2019)<b>Würzburg Software Engineering Award sponsored by Bosch Rexroth</b>.
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>.
C. Krupitzer, V. Lesch, M. Pfannemüller, C. Becker, und M. Segata. Proceedings of the 1st ACM Workshop on Technologies, mOdels, and Protocols for Cooperative Connected Cars (TOP-Cars), Colocated with ACM MobiHoc 2019, ACM, (Juli 2019)
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)