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