From MARTE to AADL with a Seamless Process | IEEE Conference Publication | IEEE Xplore