-: Flexible Mixed-Criticality Real-Time Scheduling by Task-Level Mode Switch | IEEE Journals & Magazine | IEEE Xplore