. . . . . . . . . "1"^^ . . . "An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems / Oumar Ma\u00EFga ; sous la direction de Mamadou Kaba Traor\u00E9 et de Ouat\u00E9ni Diallo / , 2015" . "2015"^^ . . . . . .