Specification of technical plant behavior with a safety-oriented technical language. - Sebastian Preuße; Hans-Michael Hanisch (INDIN, 2009)

A complete framework for controller verification in manufacturing. - Christian Gerber; Sebastian Preuße; Hans-Michael Hanisch (ETFA, 2010)

Design Approaches for IEC 61499 Control Applications. - Sebastian Preuße; Christian Gerber; Hans-Michael Hanisch (GI Jahrestagung (1), 2010)

Designing Visual Systems for Social Data Analysis in Open Government Applications. - Jasminko Novak; Sebastian Preuße (DCI@INTERACT, 2011)

Virtual start-up of plants using formal methods. - Sebastian Preuße; Christian Gerber; Hans-Michael Hanisch (Int. J. Comput. Appl. Technol., 2011)

Closed-loop system modeling, validation, and verification. - Sebastian Preuße; Hans-Christian Lapp; Hans-Michael Hanisch (ETFA, 2012)

Technologies for engineering manufacturing systems control in closed loop. - Sebastian Preuße (Logos-Verlag, 2013)