An analysis of EDF schedulability on a multiprocessor | IEEE Journals & Magazine | IEEE Xplore