Automatic Synthesis over Multiple APIs from Uml/Marte Models for Easy Platform Mapping and Reuse | IEEE Conference Publication | IEEE Xplore