Automatic generation of Temporal Fault Trees from AADL models

[1]  Karama Kanoun,et al.  The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation , 2008, 2008 Seventh European Dependable Computing Conference.