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

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

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

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

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

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