Santos, et al.. Efficient Schedulability Tests for Real-time Embedded Systems with Urgent Routines. no. 1-2, Springer Nature, Aug. 2013, doi:10.1007/s10617-013-9113-6.