Objektorientierte Modellierung von Echtzeitsystemen für die Automatisierungstechnik mit Überprüfung von Zeitbedingungen im Modell. - Thomas Licht; Tatiana Djambova; Wolfgang Fengler 001 (PEARL, 2002)