Didier, J.-Y., Djafri, B. und Klaudel, H. 2009. The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. Journal of Virtual Reality and Broadcasting. 6, (Jan. 2009). DOI:https://doi.org/10.20385/1860-2037/6.2009.1.