1. D. Cofer, M. Rangarajan, Formal verification of overhead accounting in an avionics RTOS, in: Proceedings of the 23rd IEEE Real-Time Systems Symposium, 2002, pp. 181–190.
2. Real-Time Systems;Liu,2000
3. Scheduling algorithms for multiprogramming in a hard real-time environment;Liu;Journal of the ACM,1973
4. K. Jeffay, D. Stone, Accounting for interrupt handling costs in dynamic priority task systems, in: Proceedings of the 14th Real-Time Systems Symposium, 1993, pp. 212–221.
5. U. Devi, Soft Real-Time Scheduling on Multiprocessors, Ph.D. thesis, University of North Carolina, Chapel Hill, North Carolina, 2006.