Optimal partitioning for quantized EDF scheduling | IEEE Conference Publication | IEEE Xplore