An Execution Framework for MARTE-Based Models | IEEE Conference Publication | IEEE Xplore