Worst-case utilization bound for EDF scheduling on real-time multiprocessor systems