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
URL : https://doi.org/10.1016/0304-3975(94)90010-8

J. Arcile, J. Didier, H. Klaudel, R. Devillers, and A. Rataj, Indefinite waitings in MIRELA systems, Electronic Proceedings in Theoretical Computer Science, vol.10, issue.2, pp.5-18, 2015.
DOI : 10.1023/A:1022920129859
URL : https://hal.archives-ouvertes.fr/hal-01230054

L. Carnevali, A. Pinzuti, and E. Vicario, Compositional Verification for Hierarchical Scheduling of Real-Time Systems, IEEE Transactions on Software Engineering, vol.39, issue.5, pp.638-657, 2013.
DOI : 10.1109/TSE.2012.54

R. Devillers, J. Didier, and H. Klaudel, Specifications, Implementing Timed Automata: The " Sandwich " Approach, IEEE, pp.226-235, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00841771

R. Devillers, J. Didier, H. Klaudel, and J. Arcile, Deadlock and temporal properties analysis in mixed reality applications. ISSRE 2014, pp.55-65, 2014.
DOI : 10.1109/issre.2014.33
URL : https://hal.archives-ouvertes.fr/hal-01150615

B. Finkbeiner, H. Peter, and S. Schewe, Synthesising certificates in networks of timed automata, IET Software, vol.4, issue.3, pp.222-235, 2010.
DOI : 10.1049/iet-sen.2009.0047
URL : http://www.avacs.org/fileadmin/Publikationen/Open/finkbeiner.iet2010.pdf

M. Hendriks and M. Verhoef, Timed automata based analysis of embedded system architectures, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
DOI : 10.1109/IPDPS.2006.1639422
URL : https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2006-Hendriks-TimedAutomata

M. Hendriks and K. Larsen, Exact Acceleration of Real-Time Model Checking, Electronic Notes in Theoretical Computer Science, vol.65, issue.6, pp.120-139, 2002.
DOI : 10.1016/S1571-0661(04)80473-0
URL : https://doi.org/10.1016/s1571-0661(04)80473-0

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

M. O. Möller, Parking Can Get You There Faster, Electronic Notes in Theoretical Computer Science, vol.65, issue.6, pp.202-217, 2002.
DOI : 10.1016/S1571-0661(04)80477-8

S. Perathoner, Influence of different abstractions on the performance analysis of distributed hard real-time systems, Design Automation for Embedded Systems, vol.40, issue.4, pp.1-2, 2009.
DOI : 10.1109/MC.2003.1193230

, UPPAAL