New Abstraction for Optimal Real-Time Scheduling on Multiprocessors | IEEE Conference Publication | IEEE Xplore