RED-based Scheduler on Chip for Mixed-Criticality Real-Time Systems | IEEE Conference Publication | IEEE Xplore