Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme. - Detlef Baumecker; Reinhard Koeppe; Matthias Roebert (FBT, 1997)

Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen. - Detlef Baumecker; Reinhard Koeppe (FBT, 1998)

Simulationsgestützte Entwicklung von Kommunikationsprotokollen und ihre Anwendung in der Ingenieurausbildung. - Detlef Baumecker; Reinhard Koeppe (SimVis, 2003)