Rugina, Ana-Elena. Dependability modeling and evaluation – From AADL to stochastic Petri nets. PhD, Institut National Polytechnique de Toulouse, 2007