Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe. Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 157-166, Fraunhofer Verlag, 2010.
Abstract is missing.