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 1. Juni 2025];6. Verfügbar unter: https://ojs.hbz-nrw.de/dipp_ojs/jvrb/article/view/1411