Anwendungsorientiertes Enwurfs- und Spezifikationssystem für Prozeßsteuerungen.