Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile. - Jan Krause; Elke Hintze; Stephan Magnus; Christian Diedrich (SAFECOMP, 2012)

Implementing state machines in distributed event-based systems. - Holger Zipper; Marco Meier; Elke Hintze; Christian Diedrich (EBCCSP, 2017)