Semantic Mapping for Model Transformation Between AADL2 and HiP-HOPS | IEEE Conference Publication | IEEE Xplore