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)

Stochastic process algebras: integrating qualitative and quantitative modelling. - Jane Hillston; Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis; Michael Rettelbach (FORTE, 1994)

Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. - Holger Hermanns; Michael Rettelbach; Thorsten Weiss (Comput. J., 1995)

Probabilistic Branching in Markovian Process Algebras. - Michael Rettelbach (Comput. J., 1995)

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. - Holger Hermanns; Vassilis Mertsiotakis; Michael Rettelbach (TACAS, 1996)

Stochastische Prozessalgebren mit zeitlosen Aktivitäten und probabilistischen Verzweigungen. - Michael Rettelbach (1996)

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. - Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis; Michael Rettelbach (PNPM, 1997)

Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze. - Peter Liggesmeyer; Martin Rothfelder; Michael Rettelbach; Thomas Ackermann (Inform. Spektrum, 1998)