Validierung von Steuerungscode mit Hilfe automatisch generierter Simulationsmodelle.