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://jde.pubsys.hbz-nrw.de/index.php/jvrb/article/view/1411. Acesso em: 30 sep. 2024.