Real-time service process scheduling with intermediate deadline overrun management | IEEE Conference Publication | IEEE Xplore