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 T. A. Henzinger, Real-time system = discrete system + clock variables, Theories and Experiences for Real-Time System Development, AMAST Series in Computing, 1994.
DOI : 10.1142/9789812831583_0001
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.344

R. Alur and T. A. Henzinger, Real-time system = discrete system + clock variables, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.86-109, 1997.
DOI : 10.1007/s100090050007
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.344

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004.
DOI : 10.1137/0216062

G. Gardey, D. Lime, M. Magnin, and O. Roux, Romeo: A Tool for Analyzing Time Petri Nets, Proceedings of CAV'05, 2005.
DOI : 10.1007/11513988_41
URL : https://hal.archives-ouvertes.fr/hal-00523596

B. Grabiec, L. Traonouez, C. Jard, D. Lime, and O. H. Roux, Diagnosis Using Unfoldings of Parametric Time Petri Nets, Proceedings of FORMATS'10, pp.137-151, 2010.
DOI : 10.1007/978-3-642-15297-9_12
URL : https://hal.archives-ouvertes.fr/hal-00523597

T. A. Henzinger, P. W. Kopke, and H. Wong-toi, The expressive power of clocks, Proceedings of the 22nd International Colloquium on Automata, Languages, and Programming (ICALP), pp.417-428, 1995.
DOI : 10.1007/3-540-60084-1_93

T. A. Henzinger, Z. Manna, and A. Pnueli, Temporal Proof Methodologies for Timed Transition-Systems, Information and Computation, vol.112, issue.2, pp.273-337, 1994.
DOI : 10.1006/inco.1994.1060

M. Richard, R. E. Karp, and . Miller, Parallel program schemata, Journal of Computer and System Sciences, vol.3, issue.2, pp.147-195, 1969.

Y. Kesten, Z. Manna, and A. Pnueli, Verifying clocked transition systems, Hybrid Systems, pp.13-40, 1996.
DOI : 10.1007/BFb0020933
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.5201

K. G. Larsen, P. Pettersson, and W. Yi, Model-checking for real-time systems, Proceedings of the 10th International Conference on Fundamentals of Computation Theory, pp.62-88, 1995.
DOI : 10.1007/3-540-60249-6_41

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

P. M. Merlin, A study of the recoverability of computing systems, 1974.

J. Srba, Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets, Proceedings of FORMATS'08, pp.15-32, 2008.
DOI : 10.1007/978-3-540-85778-5_3