Improved Schedulability Analysis of EDF on Multiprocessor Platforms