Research on Safety Analysis and Verification for AADL Model - Huo, Hong; Zhou, Xingshe; Song, Deming; Dong, Yunwei; Zhang, Fan (Energy Procedia, 2011)