Contribution à la modélisation et la vérification formelle pour la gestion des modes
des systèmes automatisés de production / par Nadia Hamani ; sous la dir. de Etienne
Craye. - Thèse de doctorat : Productique, automatique et informatique industrielle
: Villeneuve d'Ascq, Ecole centrale de Lille : 2005