@PHDTHESIS{rugin2007,
url = "
		http://www.theses.fr/2007INPT052H",
title = "Dependability modeling and evaluation : from AADL to stochastic Petri nets",
author = "Rugina, Ana-Elena",
year = "2007",
pages = "1 vol. ([22]-x-151 p.)",
note = "Thèse de doctorat dirigée par Kanoun, Karama Systèmes informatiques Toulouse, INPT 2007",
note = "2007INPT052H",
}