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, 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, 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, Application of Concurrency to System Design (ACSD), 2013 13th International Conference on. IEEE, 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, In Journal of Virtual Reality and Broadcasting, vol.6, issue.1, pp.9-15, 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.

C. Endres, A. Butz, and A. Macwilliams, A survey of software infrastructures and frameworks for ubiquitous computing, In Mobile Information Systems Journal, vol.1, issue.1, pp.41-80, 2005.

P. Figueroa, F. Walter, P. Bischof, J. Boulanger, R. Hoover 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, P. Hoover, and . Boulanger, Intml concepts, 2004.

M. Haller, J. Zauner, W. Hartmann, and T. Luckeneder, A generic framework for a training application based on mixed reality, 2003.

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

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

. Mathieu-moine, Implementation tool of timed automata specifications, 2013.

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 and B. 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.

G. Reitmayr and D. 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, vol.124, 2001.

, Uppaal

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