DIDIER, J.-Y.; DJAFRI, B.; KLAUDEL, H. The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. Journal of Virtual Reality and Broadcasting, [S. l.], v. 6, 2009. DOI: 10.20385/1860-2037/6.2009.1. Disponível em: https://ojs.hbz-nrw.de/dipp_ojs/jvrb/article/view/1411. Acesso em: 1 juni. 2025.