Didier, J.-Y.; Djafri, B.; Klaudel, H. The MIRELA Framework: Modeling and Analyzing Mixed Reality Applications Using Timed Automata. jvrb 2009, 6.