Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube. Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 197-206, Universitätsbibliothek Berlin, Germany, 2009.