@PHDTHESIS{renau2009,
url = "
		http://www.theses.fr/2009PA066676",
title = "Mise en œuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis",
author = "Renault, Xavier",
year = "2009",
pages = "1 vol. (VIII-186 p.)",
note = "Thèse de doctorat dirigée par Kordon, Fabrice Informatique Paris 6 2009",
note = "2009PA066676",
}