1. R. Alur, C. Courcoubetis, and N. Halbwachs. Minimization of timed transition systems. In CONCUR 82, volume 630 of LNCS, pages 340–354. Springer-Verlag, 1992.
2. R. Alur and D. Dill. The theory of timed automata. In REX Workshop “Real-Time: Theory in Practice”, volume 600 of LNCS, pages 45–73. Springer-Verlag, 1991.
3. J.-P. Courtiat and R.C. de Oliveira. RT-LOTOS and its application to multimedia protocol specification and validation. In Proc. Int. Conf. on Multimedia Networking (MmNet’95), Aizu, Japan, September 1995.
4. J.-P. Courtiat and R.C. de Oliveira. About time nondeterminism and exception handling in a temporal extension of LOTOS. In PSTV’95, Vancouver, Canada, June 1994.
5. C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In FORTE’94, Berne, Switzerland, October 1994.