Mahmud, Nidhal, Mian, Zhibao, "Automatic generation of Temporal Fault Trees from AADL models", , 2014