Stepwise Refinement of Layered Protocols by Formal Program Development. - Terry Stroup; Norbert Götz; Michael Mendler (PSTV, 1989)

TIPP - Introduction and Application to Protocol Performance Analysis. - Norbert Götz; Ulrich Herzog; Michael Rettelbach (FBT, 1992)

Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras. - Norbert Götz; Ulrich Herzog; Michael Rettelbach (Performance/SIGMETRICS Tutorials, 1993)

Stochastische Prozessalgebren: Integration von funktionalem Entwurf und Leistungsbewertung Verteilter Systeme. - Norbert Götz (1994)