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

R. Alur, &. David, and L. Dill, The theory of timed automata, Real Time: Theory in Practice (REX Workshop), vol.600, pp.45-73, 1991.

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

J. Arcile, Implémentation d'un outil de compilation des spécifications MIRELA vers les automates temporisés au format UPPAAL (XML), 2014.

M. Bauer, B. Bruegge, G. Klinker, A. Macwilliams, T. Reicher et al., Design of a Component-Based Augmented Reality Framework, Proceedings of the International Symposium on Augmented Reality (ISAR), 2001.

M. Chouiten, C. Domingues, J. Didier, and S. Otmane-&-malik-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 and J. Klaudel, Implementing Timed Automata Specifications: The" Sandwich" Approach, 13th International Conference on Application of Concurrency to System Design (ACSD), pp.226-235, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00841771

R. Devillers, J. Didier, and H. Klaudel-&-johan-arcile, Deadlock and Temporal Properties Analysis in Mixed Reality Applications, 25th IEEE International Symposium on Software Reliability Engineering, pp.55-65, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01150615

J. Didier and B. Djafri-&-hanna-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, and M. Moine-&-raymond-devillers, An improved approach to build safer mixed reality systems by analysing time constraints, Proceedings of the 5th Joint Virtual Reality Conference, 2013.

, A Survey of Software Infrastructures and Frameworks for Ubiquitous Computing, Mobile Information Systems Journal, vol.1, issue.1, pp.41-80, 2005.

P. Figueroa, F. Walter, P. Bischof, J. Boulanger, . Hoover-&-robyn et al., Intml: A dataflow oriented development system for virtual reality applications. Presence: Teleoperators and Virtual Environments, vol.17, pp.492-511, 2008.

P. Figueroa, . Hoover-&-pierre, and . Boulanger, , 2004.

M. Haller, J. Zauner, W. Hartmann-&-thomas, and . Luckeneder, A generic framework for a training application based on Mixed Reality, 2003.

E. Charles, C. B. Hughes, D. E. Stapleton, &. Hughes, M. Eileen et al., Mixed reality in education, entertainment, and training. Computer Graphics and Applications, IEEE, vol.25, issue.6, pp.24-30, 2005.

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.

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

W. Piekarski, &. Bruce, and H. Thomas, An Object-Oriented Software Architecture for 3D Mixed Reality Applications, ISMAR '03: Proceedings of the The 2nd IEEE and ACM International Symposium on Mixed and Augmented Reality, p.247, 2003.

A. Rataj, Translation of probabilistic games in J2TADD, Theoretical and Applied Informatics, vol.25, issue.3/4, 2013.

G. Reitmayr and &. Dieter-schmalstieg, An open software architecture for virtual reality interaction, Proceedings of the ACM symposium on Virtual reality software and technology, pp.47-54, 2001.

C. Sandor and T. Reicher, CUIML: A Language for the Generation of Multimodal Human-Computer Interfaces, Proceedings of the European UIML conference, p.124, 2001.

W. Visser, K. Havelund, and G. Brat, Model Checking Programs, vol.10, 2003.

, Timed Automata for the Development of Real-Time Systems, 2011.