Mixed-Criticality Real-Time Scheduling for Multicore Systems | IEEE Conference Publication | IEEE Xplore