@incollection{Peñil12,
author = {Pablo Peñil and Fernando Herrera and Eugenio Villar},
title = {Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models},
booktitle = {Embedded Systems},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Kiyofumi Tanaka},
chapter = {11},
doi = {10.5772/36918},
url = {https://doi.org/10.5772/36918}
}