@PHDTHESIS{garni2012,
url = "http://www.theses.fr/2012PA112018",
title = "Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques",
author = "Garnier, Ilias",
year = "2012",
note = "Thèse de doctorat dirigée par Vidal-Naquet, Guy et Aussaguès, Christophe Informatique Paris 11 2012",
note = "2012PA112018",
url = "http://www.theses.fr/2012PA112018/document",
}