Title: Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML