Jean-Yves Didier, Bachir Djafri, Hanna Klaudel. MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. In IEEE Virtual Reality Conference 2008 (VR 2008), 8-12 March 2008, Reno, Nevada, USA, Proceedings. pages 249-250, IEEE, 2008. [doi]
Abstract is missing.