Systematischer Einsatz von Modellen in der Entwicklung von Automatisierungssystemen.