Worst-case utilization bound for EDF scheduling on real-time multiprocessor systems | IEEE Conference Publication | IEEE Xplore