Online monitoring of a distributed building automation system to verify large sequences of bus messages by causal Petri net models. - Patrick Diekhake; Eckehard Schnieder (IECON, 2013)

Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme. - Patrick Diekhake; Eckehard Schnieder (Autom., 2015)

Evaluation and simulation of building automation systems based on their AutomationML description. - Damian Eduardo Diaz Fuentes; Uwe Becker; Patrick Diekhake; Michelle Günther; André Scholz; Philipp Puntel Schmidt; Alexander Fay (ETFA, 2016)

Requirements engineering and modelling for building automation systems. - Michelle Günther; André Scholz; Philipp Puntel Schmidt; Alexander Fay; Patrick Diekhake; Damian Eduardo Diaz Fuentes; Uwe Becker (ETFA, 2016)

Durchgängiges modellbasiertes Engineering von Gebäudeautomationssystemen. - Michelle Günther; Patrick Diekhake; André Scholz; Philipp Puntel Schmidt; Uwe Becker; Alexander Fay (Autom., 2016)

Systematische Modellierung und Analyse verteilter Automatisierungssysteme (Systematic modeling and analysis of distributed automation systems) - Patrick Diekhake (2016)