Didier, J.-Y., B. Djafri, und H. Klaudel. „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.