Formal foundations for MARTE-SystemC interoperability | Publicación