Modeling and verification of a checkpoint-restart-protocol. - Bernd Baumgarten; Peter Ochsenschläger (Fehlertolerierende Rechensysteme, 1984)

The signing of a contract - a tree-structured application. - Bernd Baumgarten; Heinz Jürgen Burkhardt; Peter Ochsenschläger; Rainer Prinoth (Applications and Theory in Petri Nets, 1985)

Building blocks for distributed system design. - Bernd Baumgarten; Peter Ochsenschläger; Rainer Prinoth (PSTV, 1985)

On Termination and Phase Changes in the Presence of Unreliable Communication. - Bernd Baumgarten; Peter Ochsenschläger (Inf. Process. Lett., 1986)

On Internal and External Characterizations of PT- net Building Block Behaviors. - Bernd Baumgarten (European Workshop on Applications and Theory of Petri Nets, 1987)

Petri-Netze - Grundlagen und Anwendungen. - Bernd Baumgarten (BI-Wissenschaftsverlag, 1990)

Die OSI-Konformitätsmethodik. - Alfred Giessler; Bernd Baumgarten (Prax. Inf.verarb. Kommun., 1994)

Petri-Netze - Grundlagen und Anwendungen (2. Aufl.). - Bernd Baumgarten (Spektrum Akademischer Verlag, 1996)

Qualitative Notions of Testability. - Bernd Baumgarten; H. Wiland (IWTCS, 1998)

A Minimal Framework for Specification Theory. - Bernd Baumgarten (World Congress on Formal Methods, 1999)

Testability with Unbounded Testing Strategies. - Bernd Baumgarten; Olaf Henniger (IWTCS, 1999)