R. 1. Alur and D. L. Dill, 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 and P. Madhusudan, Decision Problems for Timed Automata: A Survey, SFM-RT'04, pp.1-24, 2004.
DOI : 10.1007/978-3-540-30080-9_1

B. Berthomieu and M. Menasche, An enumerative approach for analyzing time petri nets, IFIP Congress, pp.41-46, 1983.

A. Bouajjani, S. Tripakis, and S. Yovine, On-the-fly symbolic model checking for real-time systems, Proceedings Real-Time Systems Symposium, p.25, 1997.
DOI : 10.1109/REAL.1997.641266

P. Bouyer, Forward analysis of updatable timed automata. Formal Methods in System Design, pp.281-320, 2004.

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: a mode-checking tool for real-time systems, CAV'98, pp.546-550, 1998.

J. Couvreur, A. Duret-lutz, and D. Poitrenaud, On-the-Fly Emptiness Checks for Generalized B??chi Automata, SPIN'05, pp.169-184, 2005.
DOI : 10.1007/11537328_15

C. Daws and S. Tripakis, Model checking of real-time reachability properties using abstractions, TACAS'98, pp.313-329, 1998.
DOI : 10.1007/BFb0054180

D. L. Dill, Timing assumptions and verification of finite-state concurrent systems, Proc. Int. Workshop on Automatic Verification Methods for Finite State Systems, pp.197-212, 1990.
DOI : 10.1007/3-540-52148-8_17

F. Herbreteau, B. Srivathsan, and I. Walukiewicz, Efficient emptiness check for timed büchi automata, CAV'10, 2010.
DOI : 10.1007/s10703-011-0133-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.1870

S. Schwoon and J. Esparza, A Note on On-the-Fly Verification Algorithms, TACAS'05, pp.174-190, 2005.
DOI : 10.1007/978-3-540-31980-1_12

S. Tripakis, Verifying progress in timed systems In Formal Methods for Real-Time and Probabilistic Systems, LNCS, vol.1601, pp.299-314, 1999.

S. Tripakis, Checking timed büchi emptiness on simulation graphs, ACM Transactions on Computational Logic, vol.10, issue.3, 2009.
DOI : 10.1145/1507244.1507245
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.5074

S. Tripakis, S. Yovine, and A. Bouajjani, Checking timed büchi automata emptiness efficiently. Formal Methods in System Design, pp.267-292, 2005.
DOI : 10.1007/s10703-005-1632-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7565