Validierung von Steuerungscode fertigungstechnischer Anlagen mit Hilfe automatisch generierter Simulationsmodelle
P. Puntel-Schmidt, A. Fay, W. Riediger, T. Schulte, F. Köslin, S. Diehl, IFAC-PapersOnLine 48 (2014) 69–74.