@inproceedings(alur:90,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1990},
 title        = {Automata for modeling real-time systems},
 booktitle    = {International Colloquium on Algorithms, Languages, and Programming (ICALP) 1990},
 series       = {LNCS},
 volume       = {443},
 publisher    = {Springer},
 pages        = {322--335},
 doi          = {10.1007/BFb0032042},
)
@inproceedings(alur:91,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1991},
 title        = {The theory of timed automata},
 booktitle    = {Real Time: Theory in Practice (REX Workshop)},
 series       = {LNCS},
 volume       = {600},
 publisher    = {Springer},
 pages        = {45--73},
 doi          = {10.1007/BFb0031987},
)
@article(alur:94,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {A theory of timed automata},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@techreport(arcile2014,
 author       = {Johan Arcile},
 year         = {2014},
 title        = {Impl\'ementation d'un outil de compilation des sp\'ecifications MIRELA vers les automates temporis\'es au format UPPAAL (XML)},
 type         = {Rapport de stage L3},
 institution  = {D\'epartement Informatique, Universit\'e d'Evry, France},
)
@inproceedings(bauer01,
 author       = {Martin Bauer and Bernd Bruegge and Gudrun Klinker and Asa MacWilliams and Thomas Reicher and Stephan Riss and Christian Sandor and Martin Wagner},
 year         = {2001},
 title        = {Design of a Component-Based Augmented Reality Framework},
 booktitle    = {Proceedings of the International Symposium on Augmented Reality (ISAR)},
 doi          = {10.1109/ISAR.2001.970514},
)
@inproceedings(JY,
 author       = {Mehdi Chouiten and Christophe Domingues and Jean-Yves Didier and Samir Otmane and Malik Mallem},
 year         = {2012},
 title        = {Distributed mixed reality for remote underwater telerobotics exploration},
 booktitle    = {Virtual Reality International Conference, VRIC '12},
 publisher    = {ACM},
 address      = {France},
 pages        = {1:1--1:6},
 doi          = {10.1145/2331714.2331716},
)
@inproceedings(sand13,
 author       = {Raymond Devillers and Jean-Yves Didier and Hanna Klaudel},
 year         = {2013},
 title        = {Implementing Timed Automata Specifications: The" Sandwich" Approach},
 booktitle    = {13th International Conference on Application of Concurrency to System Design (ACSD), 2013},
 organization = {IEEE},
 pages        = {226--235},
 doi          = {10.1109/ACSD.2013.26},
)
@inproceedings(issre14,
 author       = {Raymond Devillers and Jean{-}Yves Didier and Hanna Klaudel and Johan Arcile},
 year         = {2014},
 title        = {Deadlock and Temporal Properties Analysis in Mixed Reality Applications},
 booktitle    = {25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014},
 publisher    = {{IEEE}},
 pages        = {55--65},
 doi          = {10.1109/ISSRE.2014.33},
)
@article(mir08,
 author       = {Jean-Yves Didier and Bachir Djafri and Hanna Klaudel},
 year         = {2009},
 title        = {The MIRELA framework: modeling and analyzing mixed reality applications using timed automata},
 journal      = {Journal of Virtual Reality and Broadcasting},
 volume       = {6},
 number       = {1},
)
@inproceedings(mir13,
 author       = {Jean-Yves Didier and Hanna Klaudel and Mathieu Moine and Raymond Devillers},
 year         = {2013},
 title        = {An improved approach to build safer mixed reality systems by analysing time constraints},
 booktitle    = {Proceedings of the 5th Joint Virtual Reality Conference},
)
@article(endres05,
 author       = {Christoph Endres and Andreas Butz and Asa MacWilliams},
 year         = {2005},
 title        = {A Survey of Software Infrastructures and Frameworks for Ubiquitous Computing},
 journal      = {Mobile Information Systems Journal},
 volume       = {1},
 number       = {1},
 pages        = {41--80},
)
@article(figueroa2008,
 author       = {Pablo Figueroa and Walter F Bischof and Pierre Boulanger and H James Hoover and Robyn Taylor},
 year         = {2008},
 title        = {Intml: A dataflow oriented development system for virtual reality applications},
 journal      = {Presence: Teleoperators and Virtual Environments},
 volume       = {17},
 number       = {5},
 pages        = {492--511},
 doi          = {10.1162/pres.17.5.492},
)
@article(figueroa2004,
 author       = {Pablo Figueroa and J Hoover and Pierre Boulanger},
 year         = {2004},
 title        = {Intml concepts},
 journal      = {University of Alberta. Computing Science Department, Tech. Rep},
)
@techreport(haller03,
 author       = {Michael Haller and J\"{u}rgen Zauner and Werner Hartmann and Thomas Luckeneder},
 year         = {2003},
 title        = {A generic framework for a training application based on Mixed Reality.},
 type         = {Technical Report},
 institution  = {Upper Austria University of Applied Sciences},
 address      = {Hagenberg, Austria},
)
@article(hughes2005mixed,
 author       = {Charles E Hughes and Christopher B Stapleton and Darin E Hughes and Eileen M Smith},
 year         = {2005},
 title        = {Mixed reality in education, entertainment, and training},
 journal      = {Computer Graphics and Applications, IEEE},
 volume       = {25},
 number       = {6},
 pages        = {24--30},
 doi          = {10.1109/MCG.2005.139},
)
@article(kwiatkowska2004probabilistic,
 author       = {M. Kwiatkowska and G. Norman and D. Parker},
 year         = {2004},
 title        = {Probabilistic Symbolic Model Checking with {PRISM}: A Hybrid Approach},
 journal      = {International Journal on Software Tools for Technology Transfer (STTT)},
 volume       = {6},
 number       = {2},
 pages        = {128--142},
 doi          = {10.1007/s10009-004-0140-2},
)
@inproceedings(latoschik2002,
 author       = {Marc Erich Latoschik},
 year         = {2002},
 title        = {Designing transition networks for multimodal VR-interactions using a markup language},
 booktitle    = {Proceedings of the 4th IEEE International Conference on Multimodal Interfaces},
 organization = {IEEE Computer Society},
 pages        = {411},
 doi          = {10.1109/ICMI.2002.1167030},
)
@incollection(navarre2005,
 author       = {David Navarre and Philippe Palanque and R{\'e}mi Bastide and Amelie Schyn and Marco Winckler and Luciana P Nedel and Carla MDS Freitas},
 year         = {2005},
 title        = {A formal description of multimodal interaction techniques for immersive virtual reality applications},
 booktitle    = {Human-Computer Interaction-INTERACT 2005},
 publisher    = {Springer},
 pages        = {170--183},
 doi          = {10.1007/11555261\_17},
)
@inproceedings(piekarski03,
 author       = {Wayne Piekarski and Bruce H. Thomas},
 year         = {2003},
 title        = {An Object-Oriented Software Architecture for {3D} Mixed Reality Applications},
 booktitle    = {ISMAR '03: Proceedings of the The 2nd IEEE and ACM International Symposium on Mixed and Augmented Reality},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {247},
 doi          = {10.1109/ISMAR.2003.1240708},
)
@article(rataj2013probabilistic,
 author       = {Artur Rataj},
 year         = {2013},
 title        = {Translation of probabilistic games in {J2TADD}},
 journal      = {Theoretical and Applied Informatics},
 volume       = {25},
 number       = {3/4},
)
@inproceedings(reitmayr01,
 author       = {Gerhard Reitmayr and Dieter Schmalstieg},
 year         = {2001},
 title        = {An open software architecture for virtual reality interaction},
 booktitle    = {Proceedings of the ACM symposium on Virtual reality software and technology},
 publisher    = {ACM Press},
 pages        = {47--54},
 doi          = {10.1145/505008.505018},
)
@inproceedings(sandor2001,
 author       = {Christian Sandor and Thomas Reicher},
 year         = {2001},
 title        = {CUIML: A Language for the Generation of Multimodal Human-Computer Interfaces},
 booktitle    = {Proceedings of the European UIML conference},
 volume       = {124},
)
@misc(uppaal4.1,
 title        = {UPPAAL},
 howpublished = {\url{http://www.uppaal.org/}},
)
@article(visser2003modelchecking,
 author       = {Willem Visser and Klaus Havelund and Guillaume Brat and Seungjoon Park and Flavio Lerda},
 year         = {2003},
 title        = {Model Checking Programs},
 journal      = {Automated Software Engineering Journal},
 volume       = {10},
 number       = {2},
 doi          = {10.1023/A:1022920129859},
)
@techreport(Waez2011,
 author       = {Md Tawhid Bin Waez and J\"urgen Dingel and Karen Rudie},
 year         = {2011},
 title        = {Timed Automata for the Development of Real-Time Systems},
 type         = {Research Report},
 number       = {2011-579},
 institution  = {Queen's University -- School of Computing, Canada},
)