Automatic Synthesis over Multiple APIs from Uml/Marte Models for Easy Platform Mapping and Reuse. - Nicolás, Alejandro; Peñil, Pablo; Posadas, Héctor; Villar, Eugenio (2014)