Improving verification and reliability of distributed control systems design according to IEC 61499. - Hans-Christian Lapp; Christian Gerber; Hans-Michael Hanisch (ETFA, 2010)

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

Process Control Synthesis Improved by Structural Model Properties. - Hans-Christian Lapp; Hans-Michael Hanisch (PECCS, 2012)

A New DES Control Synthesis Approach Based on Structural Model Properties. - Hans-Christian Lapp; Hans-Michael Hanisch (IEEE Trans. Ind. Informatics, 2013)