Didier, Jean-Yves, u. a. „The MIRELA Framework: Modeling and Analyzing Mixed Reality Applications Using Timed Automata“. Journal of Virtual Reality and Broadcasting, Bd. 6, Januar 2009, doi:10.20385/1860-2037/6.2009.1.