Semi-automated Hw/Sw Co-design for embedded systems: from MARTE models to SystemC simulators | IEEE Conference Publication | IEEE Xplore