Diedrich, C.; Krause, J. (2013). Analyse von reaktiven Verhaltensmodellen mit Constrainprogrammierung und Petrinetztechniken, at - Automatisierungstechnik, vols. 61 (2):114–121. doi:10.1524/auto.2013.0013
Schnieder, E.; Wu, D.; Krause, J. (2013). Model-based Test Generation Techniques Verifying the On-board Module of a Satellite-based Train Control System Model, ICIRT 2013 - IEEE International Conference on Intelligent Rail Transportation, 30.08.-01.09.2013, IEEE, Beijing, 274–279. doi:10.1109/ICIRT.2013.6696307