Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms | IEEE Conference Publication | IEEE Xplore