Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems | IEEE Conference Publication | IEEE Xplore