1. G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19:87–152, 1992.
2. R. Büssow, H. Dörr, R. Geisler, W. Grieskamp, and M. Klar. ΜSZ — Ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report 96–32, Technische UniversitÄt Berlin, Feb. 1996.
3. R. Büssow, R. Geisler, M. Klar, and S. Mann. Spezifikation einer Lichtsignalanlagen-Steuerung mit ΜSZ. Technical Report 97–13, Technische UniversitÄt Berlin, 1997.
4. R. Büssow, R. Geisler, and M.Klar. Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts. In Tagungsband zur 5. Fachtagung Entwurf komplexer Automatisierungssysteme. TU Braunschweig, 1997.
5. R. Büssow and W. Grieskamp. Combinig Z and temporal interval logics for the formalization of properties and behaviors of embedded systems. In R. K. Shyamasundar and K. Ueda, editors, Advances in Computing Science — Asian '97, volume 1345 of LNCS, pages 46–56. Springer-Verlag, 1997.