Synthesis of Distributed Controllers by Means of a Monolithic Approach. - Dirk Missal; Hans-Michael Hanisch (ETFA, 2006)

Hierarchical distributed controllers - design and verification. - Dirk Missal; Martin Hirsch 002; Hans-Michael Hanisch (ETFA, 2007)

Modular plant modelling for distributed control. - Dirk Missal; Hans-Michael Hanisch (SMC, 2007)

Reconfiguration of Embedded Systems. - Mohamed Khalgui; Martin Hirsch 002; Dirk Missal; Hans-Michael Hanisch (ICINCO-ICSO, 2008)

Formal synthesis of safety controller code for distributed controllers. - Dirk Missal (Logos-Verlag, 2012)