R. Alur and D. L. , A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur, T. Feder, and T. A. , The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996.
DOI : 10.1145/227595.227602

R. Alur, L. Fix, and T. A. , Henzinger: Event-clock automata: a determinizable class of timed automata, Proc. 6th International Conference on Computer-aided Verification, pp.1-13, 1994.

R. Alur and T. A. , Henzinger: Real-time logics: complexity and expressiveness, pp.35-77, 1993.
DOI : 10.1006/inco.1993.1025

URL : http://doi.org/10.1006/inco.1993.1025

J. R. Büchi, Weak Second-Order Arithmetic and Finite Automata, Zeitschrift für Math. Logik und Grundlagen der Mathematik, pp.66-92, 1960.
DOI : 10.1002/malq.19600060105

D. D. Souza, A Logical Characterisation of Event Clock Automata, J. Foundations of Computer Science, vol.14, issue.4, 2003.

D. D. 'souza and P. S. Thiagarajan, Product Interval Automata: A Subclass of Timed Automata, Proc. 19th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 1999.

D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi, On the temporal analysis of fairness, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '80, pp.163-173, 1980.
DOI : 10.1145/567446.567462

T. A. Henzinger, J. Raskin, and P. , Schobbens: The regular real-time languages, Proc. 25th International Colloquium on Automata, Languages, and Programming, pp.580-591, 1998.

H. Kamp, Tense Logic and the Theory of Linear Order, 1968.

R. Koymans, Specifying real-time properties with metric temporal logic, Real-time Systems, pp.255-299, 1990.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

J. Raskin and P. , Schobbens: State-clock Logic: A Decidable Real-Time Logic, Proc. HART '97: Hybrid and Real-Time Systems, pp.33-47, 1997.

W. Thomas, Automata on Infinite Objects, Handbook of Theoretical Computer Science, pp.133-191, 1990.
DOI : 10.1016/B978-0-444-88074-1.50009-3

. Th and . Wilke, Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata, Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.694-715, 1994.