Jean-Yves Didier, Bachir Djafri, Hanna Klaudel - The MIRELA framework: modeling and analyzing mixed reality applications using timed automata