R. 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.

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.

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

A. Gaiser and S. Schwoon, Comparison of algorithms for checking emptiness on büchi automata, MEMICS'09, pp.69-77, 2009.

R. Gómez and H. Bowman, Efficient Detection of Zeno Runs in Timed Automata, FORMATS'07, pp.195-210, 2007.
DOI : 10.1007/978-3-540-75454-1_15

K. Havelund, A. Skou, K. Larsen, and K. Lund, Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL, RTSS'97, pp.2-13, 1997.

J. J. Jessen, J. I. Rasmussen, K. G. Larsen, and A. David, Guided Controller Synthesis for Climate Controller Using Uppaal Tiga, FORMATS'07, pp.227-240, 2007.
DOI : 10.1007/978-3-540-75454-1_17

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.

S. Tripakis, S. Yovine, and A. Bouajjani, Checking timed büchi automata emptiness efficiently. Formal Methods in System Design, pp.267-292, 2005.