Mixed-Criticality Scheduling on Multiprocessors with Service Guarantees | IEEE Conference Publication | IEEE Xplore