V. Lesch. University of Würzburg, Am Hubland, Informatikgebäude, 97074 Würzburg, Germany, Master Thesis, (September 2017)<b>Würzburg Software Engineering Award sponsored by Bosch Rexroth</b>.
M. Züfle. University of Würzburg, Am Hubland, Informatikgebäude, 97074 Würzburg, Germany, Master Thesis, (October 2017)<b>Würzburg Software Engineering Award sponsored by infosim</b>.
S. Spinner. Karlsruhe Institute of Technology (KIT), Am Fasanengarten 5, 76131 Karlsruhe, Germany, (July 2011)Best Graduate Award from the Faculty of Informatics.