A statistical framework for EDF scheduling | IEEE Journals & Magazine | IEEE Xplore