Guaranteeing timing constraints under shortest remaining processing time scheduling | IEEE Conference Publication | IEEE Xplore