A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems | IEEE Conference Publication | IEEE Xplore