1. Control of discrete event processes: theory and application;Balemi,1992
2. Élaboration de propriétés formelles de contrôleurs logiques à partir d’analyse prévisionnelle par arbres de défaillances;Barragan Santiago,2007
3. Uppaal implementation secrets, In Proc. of;Behrmann,2002
4. A event occurrence rules based compact modeling formalism for a class of discrete event systems;Chandra;Mathematical and computer modeling of dynamical Systems,2002
5. A pragmatic approach for modular control synthesis and implementation;Gouyon;International Journal of Production Research, Taylor & Francis Publisher,2004