@PHDTHESIS{barra2007,
url = "
		http://www.theses.fr/2007DENS0013",
title = "Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par arbre des défaillances",
author = "Barragan Santiago, Israel",
year = "2007",
pages = "1 vol. (154 p.)",
note = "Thèse de doctorat dirigée par Faure, Jean-Marc Électronique, électrotechnique, automatique Cachan, Ecole normale supérieure 2007",
note = "2007DENS0013",
}