Didier J-Y, Djafri B, Klaudel H. The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. jvrb [Internet]. 26. Januar 2009 [zitiert 30. September 2024];6. Verfügbar unter: https://jde.pubsys.hbz-nrw.de/index.php/jvrb/article/view/1411