1. S. Aggarwal and R.P. Kurshan. Modelling elapsed time in protocol specification. In H. Rudin and C.H. West, editors, Protocol Specification, Testing and Verification, III, pages 51–62. Elsevier Science Publisers B.V., 1983.
2. S. Aggarwal, R.P. Kurshan, and K. Sabnani. A calculus for protocol specification and validation. In Protocol Specification, Testing, and Verification, III, pages 19–34. Elsevier Science Publishers B.V. (North-Holland), 1983.
3. R.C. Backhouse and B.A. Carre. Regular algebra applied to path-finding problems. Journal of the Institute of Mathematics and its Applications, 15:161–186, 1975.
4. J. R. Burch. Combining ctl, trace theory, and timing models. In Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems (participants version), June 1989.
5. Yaacov Choueka. Theories of automata on ω-tapes: A simplified approach. Journal of Computer and System Sciences, 8(2):117–141, April 1974.