J.-Y. Didier, B. Djafri, und H. Klaudel, „The MIRELA framework: modeling and analyzing mixed reality applications using timed automata“, jvrb, Bd. 6, Jan. 2009.