Generating heterogeneous executable specifications in SystemC from UML/MARTE models