Analysis of the Queue Service Probability for the EDF Scheduling Algorithm | IEEE Conference Publication | IEEE Xplore