1. S. Aggarwal, R.P. Kurshan, “Modeling elapsed time in protocol specification,” Protocol Specification, Testing and Verification, III, 1983.
2. R. Alur, C. Courcoubetis, D.L. Dill, “Model-checking for real-time systems,” 5th IEEE LICS, 1990.
3. R. Alur, T.A. Henzinger, “Real-time logics: complexity and expressiveness,” 5th IEEE LICS, 1990.
4. J.R. Büchi, “On a decision method in restricted second-order arithmetic,” Proc. Internat. Congr. Logic, Methodology, and Philosophy of Science 1960, Stanford Univ. Press, 1962.
5. Y. Choueka, “Theories of automata on ω-tapes: a simplified approach,” JCSS 8, 1974.