. Alur, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.592-601, 1993.
DOI : 10.1145/167088.167242
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.3317

. Bagnara, The Parma Polyhedra Library, 2006.

. Bérard, Comparison of the Expressiveness of Timed Automata and Time Petri Nets, FORMATS 05, 2005.
DOI : 10.1007/11603009_17

. Berthomieu, . Diaz, 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

. Berthomieu, Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches, Discrete Event Dynamic Systems, vol.74, issue.2, pp.133-158, 2007.
DOI : 10.1007/s10626-006-0011-y
URL : https://hal.archives-ouvertes.fr/hal-00489016

F. D. Bowden, Modelling time in petri nets, Proceedings of the second Australia-Japan Workshop on Stochastic Models in Engineering, Technology and Management, 1996.

. Bruyère, V. Raskin-]-bruyère, and J. Raskin, Real-time modelchecking: Parameters everywhere, 2007.

. Bucci, Timed state space analysis of real-time preemptive systems, IEEE Transactions on Software Engineering, vol.30, issue.2, pp.97-111, 2004.
DOI : 10.1109/TSE.2004.1265815

. Cassez, Structural translation from Time Petri Nets to Timed Automata ? Model-Checking Time Petri Nets via Timed Automata. The journal of Systems and Software, pp.791456-1468, 2006.

B. Hadjidj, R. Hadjidj, and H. Boucheneb, On-the-fly TCTL model checking for Time Petri Nets using state class graphs, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), pp.111-122, 2006.
DOI : 10.1109/ACSD.2006.18

. Henzinger, HYTECH: a??model checker for hybrid systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.110-122, 1997.
DOI : 10.1007/s100090050008

. Henzinger, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.394-406, 1994.
DOI : 10.1109/LICS.1992.185551

. Hune, Linear parametric model checking of timed automata, TACAS, volume 2031 of LNCS, 2001.

. Larsen, Model-checking for real-time systems, Fundamentals of Computation Theory, pp.62-88, 1995.
DOI : 10.1007/3-540-60249-6_41

. Larsen, 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. Merlin, A study of the recoverability of computing systems, 1974.

. Roux, O. Déplanche-]-roux, and A. Déplanche, A t-time Petri net extension for real time-task scheduling modeling, European Journal of Automation (JESA), issue.7, pp.36973-987, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00489238

O. H. Roux and D. Lime, Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation, ICATPN'04, pp.371-390, 2004.
DOI : 10.1007/978-3-540-27793-4_21
URL : https://hal.archives-ouvertes.fr/hal-00523590

. Traonouez, Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph, 2008.
DOI : 10.1007/978-3-540-85778-5_20
URL : https://hal.archives-ouvertes.fr/hal-00523613