Reliability Evaluation based on the AADL Architecture Model. - Dongyi Ling; Shihai Wang; Bin Liu 032; Xiaoqi Xing (J. Networks, 2014)