Title: Ein Beitrag zur Entwicklung entwurfsunterstützender Spezifikationssprachen für Automatisierungssysteme