R. Alur and D. L. Dill, Automata for modeling real-time systems, International Colloquium on Algorithms, Languages, and Programming (ICALP), vol.443, pp.322-335, 1990.

R. Alur and D. L. Dill, The theory of timed automata, Real Time: Theory in Practice, vol.600, pp.45-73, 1991.

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.

J. Arcile, J. Didier, H. Klaudel, R. Devillers, and A. Rataj, Analysis of real-time properties of mixed reality applications, 2015.

J. Arcile, J. Didier, H. Klaudel, R. Devillers, and A. Rataj, Indefinite waitings in mirela systems, Engineering Safety and Security Systems (ESSS 2015), workshop of the 20th International Symposium on Formal Methods, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01230054

M. Chouiten, C. Domingues, J. Didier, S. Otmane, and M. Mallem, Distributed mixed reality for remote underwater telerobotics exploration, Virtual Reality International Conference, VRIC '12, vol.1, pp.1-1, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00675319

R. Devillers, J. Didier, and H. Klaudel, Implementing timed automata specifications: The "sandwich" approach, 13th International Conference on Application of Concurrency to System Design (ACSD 2013), pp.226-235, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00841771

J. Didier, B. Djafri, and H. Klaudel, The mirela framework: modeling and analyzing mixed reality applications using timed automata, Journal of Virtual Reality and Broadcasting, vol.6, issue.1, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00339454

J. Didier, H. Klaudel, M. Moine, and R. Devillers, An improved approach to build safer mixed reality systems by analysing time constraints, Proceedings of the 5th Joint Virtual Reality Conference, 2013.

P. Figueroa, W. F. Bischof, P. Boulanger, H. J. Hoover, and R. Taylor, Intml: A dataflow oriented development system for virtual reality applications. Presence: Teleoperators and Virtual Environments, vol.17, pp.492-511, 2008.

P. Figueroa, J. Hoover, and P. Boulanger, , 2004.

M. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking with PRISM: A hybrid approach, International Journal on Software Tools for Technology Transfer (STTT), vol.6, issue.2, pp.128-142, 2004.

M. E. Latoschik, Designing transition networks for multimodal vr-interactions using a markup language, Proceedings of the 4th IEEE International Conference on Multimodal Interfaces, p.411, 2002.

M. Moine, Implementation tool of timed automata specifications, 2013.

D. Navarre, P. Palanque, R. Bastide, A. Schyn, M. Winckler et al., Freitas. A formal description of multimodal interaction techniques for immersive virtual reality applications, Human-Computer Interaction-INTERACT 2005, pp.170-183, 2005.

A. Rataj, B. Wozna, and A. Zbrzezny, A translator of java programs to tadds, Fundam. Inform, vol.93, issue.1-3, pp.305-324, 2009.

C. Sandor and T. Reicher, Cuiml: A language for the generation of multimodal humancomputer interfaces, Proceedings of the European UIML conference, vol.124, 2001.

, Uppaal

M. T. Waez, J. Dingel, and K. Rudie, Timed automata for the development of real-time systems, Canada, 2011.