Validierung von Steuerungscode mit Hilfe automatisch generierter Simulationsmodelle. - Philipp Puntel Schmidt; Alexander Fay; Willi Riediger; Thomas Schulte; Fabian Köslin; Stephan Diehl 002 (Autom., 2015)