Mian, Z., Gao, Y., Shi, X., & Tang, C. (2019, November). Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS. Presented at 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy