A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs. - Belhassen Mazigh; Kais Ben Fadhel (PNSE+ModPE, 2013)