View of The MIRELA framework: modeling and analyzing mixed reality applications using timed automata | Journal of Virtual Reality and Broadcasting