Reserving Processors by Precise Scheduling of Mixed-Criticality Tasks | IEEE Conference Publication | IEEE Xplore