Verification of PLC Programs Given as Sequential Function Charts. - Nanette Bauer; Sebastian Engell; Ralf Huuck; Sven Lohmann; Ben Lukoschus; Manuel Remelhe; Olaf Stursberg (SoftSpez Final Report, 2004)

Analysis of Logic Controllers by Transformation of SFC into Timed Automata. - Olaf Stursberg; Sven Lohmann (CDC/ECC, 2005)

Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. - Sebastian Engell; Sven Lohmann; Olaf Stursberg (Int. J. Softw. Eng. Knowl. Eng., 2005)

Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs. - Sven Lohmann; Olaf Stursberg; Sebastian Engell (ACC, 2007)