KOSIM-ein Mixed-Mode, Multi-Level-Simulator. - Peter Schwarz; Christoph Clauß; Ulrich Donath; Jürgen Haufe; Gunter Kurth; Peter Trappe (Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme, 1990)

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. - Jürgen Haufe; Ulrich Donath; Eva Fordran; Thomas Klotz; Bernd Straube (MBMV, 2009)

Modelling the real-time behaviour of machine controls using UML statecharts. - Stephan Seidel; Thomas Klotz; Ulrich Donath; Jürgen Haufe (ETFA, 2010)

Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik. - Stephan Seidel; Thomas Klotz; Ulrich Donath; Jürgen Haufe (MBMV, 2010)

Approach to a simulation-based verification environment for material handling systems. - Stephan Seidel; Ulrich Donath; Jürgen Haufe (ETFA, 2012)

Towards an integrated simulation and virtual commissioning environment for controls of material handling systems. - Stephan Seidel; Ulrich Donath; Jürgen Haufe (WSC, 2012)