Simultane Überwachung des Steuerflusses in programmierbaren Systemen. - Heinz-Dieter Hümmer (1986)

A system for simulation, monitoring and diagnosis of controlled continuous processes with slow dynamics. - Juergen Prang; Heinz-Dieter Hümmer; Walter Geisselhardt (Knowl. Based Syst., 1996)

Formal Specification and Verification of Communication-Systems for designing in VHDL. - Olaf Drögehorn; Oliver Terhorst; Heinz-Dieter Hümmer; Walter Geisselhardt (FBT, 1999)

New Aspects in High-Level Specification, Verification, and Design of IT Protocols. - Heinz-Dieter Hümmer; Walter Geisselhardt (SBCCI, 2001)