@book{8104,
	author = {Peil, Pablo||Herrera, Fernando||Villar, Eugenio},
	title = {Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models},
	url = {https://library.oapen.org/bitstream/20.500.12657/49080/1/29211.pdf||https://library.oapen.org/bitstream/20.500.12657/49080/1/29211.pdf||https://library.oapen.org/bitstream/20.500.12657/49080/1/29211.pdf}
}