1. Lect Notes Comput Sci;R. Büssow,1998
2. Robert Büssow, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar. The
$$
\mu \mathcal{S}\mathcal{Z}
$$
notation version 1.0. Technical Report 97-26, Technische Universität Berlin, Fachbereich Informatik, December 1997.
3. Lect Notes Comput Sci;R. Büssow,1997
4. R. Cleaveland, J.N. Gada, P.M. Lewis, S.A. Smolka, O. Sokolsky, and S. Zhang. The concurrency factory-practical tools for specification, simulation, verification, and implementation of concurrent systems. In Proceedings of the DIMACS Workshop on Specification of Parallel Algorithms, Princeton, NJ, May 1994.
5. Reference Model for Frameworks of Software Engineering Environments-ECMA TR/55 3rd edition. Technical report, European Computer Manufacturers Association (ECMA), June 1993.