Title: Rechnerunterstützte Spezifikation von Anforderungen für Automatisierungssysteme