Translating Sequential Function Charts to the Compositional Interchange Format for hybrid systems. - Christian Sonntag; Stephan Fischer 003 (CDC, 2010)

Werkzeugunterstützung für den Entwurf von Ablaufsteuerungen auf Basis informeller Spezifikationen (Tool Support for the Design of Sequential Logic Controllers Based on Informal Specifications). - Stephan Fischer 003; Sebastian Engell (Autom., 2011)

Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache. - Christian Sonntag; Stephan Fischer 003; Sebastian Engell (Softwaretechnik-Trends, 2012)

Entwurf und Verifikation von Ablaufsteuerungen. - Stephan Fischer 003 (Shaker, 2015)