The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems | IEEE Conference Publication | IEEE Xplore