Didier, Jean-Yves, Bachir Djafri, und Hanna Klaudel. 2009. „The MIRELA Framework: Modeling and Analyzing Mixed Reality Applications Using Timed Automata“. Journal of Virtual Reality and Broadcasting 6 (Januar). https://doi.org/10.20385/1860-2037/6.2009.1.