L'approche Orientée Objet pour la modélisation de systèmes matériels. (Object Oriented approach for hardware systems modeling). - Bachir Djafri (1999)

MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. - Jean-Yves Didier; Bachir Djafri; Hanna Klaudel (VR, 2008)

The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. - Jean-Yves Didier; Bachir Djafri; Hanna Klaudel (J. Virtual Real. Broadcast., 2009)