Ana-Elena Rugina Karama Kanoun Mohamed Kaâniche A System Dependability Modeling Framework Using AADL and GSPNs. 14-38 2006 conf/icse/2006wads WADS http://dx.doi.org/10.1007/978-3-540-74035-3_2 db/conf/icse/wads2006.html#RuginaKK06