Mian, Zhibao, Gao, Yaqing, Shi, Xiaodong, Tang, Cairong, "Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS", , 2020