Earliest deadline message scheduling with limited priority inversion | IEEE Conference Publication | IEEE Xplore