Statische Analysetechniken für speicherprogrammierbare Steuerungen. - Sébastien Bornot; Ralf Huuck; Ben Lukoschus (FBT, 2000)

Verification of Sequential Function Charts Using SMV. - Sébastien Bornot; Ralf Huuck; Ben Lukoschus (PDPTA, 2000)

Verifying Untimed and Timed Aspects of the Experimental Batch Plant. - Ralf Huuck; Ben Lukoschus; Yassine Lakhnech (Eur. J. Control, 2001)

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)

A Unifying Semantics for Sequential Function Charts. - Nanette Bauer; Ralf Huuck; Ben Lukoschus; Sebastian Engell (SoftSpez Final Report, 2004)

Compositional verification of industrial control systems: methods and case studies - Ben Lukoschus (2005)