Didier, J.-Y. u. a. 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.