1. Alur, R., C. Courcoubetis, and T. A. Henzinger (1994). The observational power of clocks. In Proc. of CONCUR’94, Volume 836 of Lecture Notes in Computer Science, pp. 162–177. Springer-Verlag.
2. Bolognesi, T. and F. Lucidi (1992). LOTOS-like process algebras with urgent or timed interactions. In Formal Description Techniques, IV, pp. 249–264. IFIP: Elsevier Science Publishers B.V. (North-Holland).
3. Ceräns, K. (1992). Decidability of bisimulation equivalence for parallel timer processes. In Proc. of 4th CAV, Volume 663 of Lecture Notes in Computer Science, pp. 302–315. Springer-Verlag.
4. Chen, L. (1992). An interleaving model for real-time systems. In Proc. of 2nd Int’l Symp. on Logical Foundations of Computer Science (LFCS’92), Volume 620 of Lecture Notes in Computer Science, pp. 81–92. Springer-Verlag.
5. Fokkink, W. and A. Klusener (1995). An effective axiomatization for real time ACP. Report CS-R9542, CWI, Amsterdam. To appear in Information and Computation.