DIDIER, Jean-Yves; DJAFRI, Bachir; KLAUDEL, Hanna. 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: 15 sep. 2025.