R. Alur and D. Dill, A theory of timed automata, TCS, pp.183-235, 1994.

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

P. Bouyer, N. Markey, and P. Reynier, Robust Analysis of Timed Automata Via Channel Machines, Proc. of FoSSaCS'08, pp.157-171
DOI : 10.1007/978-3-540-78499-9_12
URL : https://hal.archives-ouvertes.fr/hal-01194593

P. Bouyer, N. Markey, and P. Reynier, Robust Model-Checking of Linear-Time Properties in Timed Automata, Proc. of LATIN'06, pp.238-249, 2006.
DOI : 10.1007/11682462_25
URL : https://hal.archives-ouvertes.fr/hal-01194610

P. Bouyer, N. Markey, and O. Sankur, Robust Model-Checking of Timed Automata via Pumping in Channel Machines, Proc. of FORMATS'11, pp.97-112
DOI : 10.1007/s100090050009

F. Cassez and O. H. Roux, Structural translation from Time Petri Nets to Timed Automata, Journal of Systems and Software, vol.79, issue.10, pp.1456-1468, 2006.
DOI : 10.1016/j.jss.2005.12.021
URL : https://hal.archives-ouvertes.fr/hal-00139236

D. D. 'aprile, S. Donatelli, A. Sangnier, and J. Sproston, From time Petri nets to timed automata:An untimed approach, TACAS'07, pp.216-230, 2007.

M. De-wulf, L. Doyen, N. Markey, and J. Raskin, Robust safety of timed automata. Formal Methods in System Design, pp.45-84, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01194592

M. De-wulf, L. Doyen, and J. Raskin, Systematic Implementation of Real-Time Models, Formal Methods (FM'05), pp.139-156
DOI : 10.1007/11526841_11

G. Gardey, O. H. Roux, and O. F. Roux, A zone-based method for computing the state space of a time Petri net, Proc. of FORMATS'03, pp.246-259, 2003.

R. Karp and R. Miller, Parallel program chemata, JCSS, pp.147-195, 1969.

D. Lime and O. H. Roux, Model checking of time petri nets using the state class timed automaton. Discrete Event Dynamic Systems, pp.179-205, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00488957

P. M. Merlin, A Study of the Recoverability of Computing Systems, 1974.

A. Puri, Dynamical properties of timed automata, DEDS, pp.87-113, 2000.
DOI : 10.1007/BFb0055349

O. Sankur, Untimed Language Preservation in Timed Systems, Proc. of MFCS'11, 2011.
DOI : 10.1007/978-3-642-22993-0_50

M. Swaminathan, M. Fränzle, and J. Katoen, The Surprising Robustness of (Closed) Timed Automata against Clock-Drift, TCS 2008, pp.537-553
DOI : 10.1007/978-0-387-09680-3_36