1. Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 2(126):183–235, April 1994.
2. R. Alur and T.A. Henzinger. Logics and models of real time: a survey. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 74–106. Springer-Verlag, 1992.
3. F. Bause and P. Buchholz. Protocol analysis using a timed version of SDL. In J. Quemada, J. Malias, and E. Vazquez, editors, Formal Description Techniques. North Holland, 1991.
4. [BDD+93] M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber.The Design of Distributed Systems-An Introduction to FOCUS. Technical Report SFB 342/2/92 A, Technische Universität München, Institut für Informatik, 1993.
5. M. Broy and K. Stølen. Interactive System Design. To appear, 1997.