Jean-Yves Didier, Bachir Djafri, Hanna Klaudel - MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata