A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996. ,
DOI : 10.1145/227595.227602
Henzinger: Event-clock automata: a determinizable class of timed automata, Proc. 6th International Conference on Computer-aided Verification, pp.1-13, 1994. ,
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
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
A Logical Characterisation of Event Clock Automata, J. Foundations of Computer Science, vol.14, issue.4, 2003. ,
Product Interval Automata: A Subclass of Timed Automata, Proc. 19th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 1999. ,
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
Schobbens: The regular real-time languages, Proc. 25th International Colloquium on Automata, Languages, and Programming, pp.580-591, 1998. ,
Tense Logic and the Theory of Linear Order, 1968. ,
Specifying real-time properties with metric temporal logic, Real-time Systems, pp.255-299, 1990. ,
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
Schobbens: State-clock Logic: A Decidable Real-Time Logic, Proc. HART '97: Hybrid and Real-Time Systems, pp.33-47, 1997. ,
Automata on Infinite Objects, Handbook of Theoretical Computer Science, pp.133-191, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50009-3
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. ,