@PHDTHESIS{drago2014,
url = "
		http://www.theses.fr/2014TOU30179",
title = "Conception et vérification d'exigences de sûreté temporisées à base de contrats dans les modèles SysML",
author = "Dragomir, Iulia",
year = "2014",
pages = "1 vol. (262 p.)",
note = "Thèse de doctorat dirigée par Ober, Iulian et Percebois, Christian Sureté de logiciel et calcul de haute performance Toulouse 3 2014",
note = "2014TOU30179",
}