Designing embedded systems with MARTE: A PIM to PSM converter | IEEE Conference Publication | IEEE Xplore