K. Stubenrauch. University of Würzburg, Am Hubland, Informatikgebäude, 97074 Würzburg, Germany, Bachelor Thesis, (июля 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, (сентября 2019)<b>Würzburg Software Engineering Award sponsored by infosim</b>.
C. Krupitzer, V. Lesch, M. Pfannemüller, C. Becker, и 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, (июля 2019)
R. Nou, S. Kounev, и 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, стр. 125--140. Heidelberg, Germany, Springer, (сентября 2007)