The Formal Transformation of AADL Based on Z-CoIA. - Fugao Zhang; Zining Cao (ICCCS (2), 2017)