Shuzhen Dong Qiwen Xu Naijun Zhan A Formal Proof of the Rate Monotonic Scheduler. 500- 1999 conf/rtcsa/1999 RTCSA http://csdl.computer.org/comp/proceedings/rtcsa/1999/0306/00/03060500abs.htm db/conf/rtcsa/rtcsa1999.html#DongXZ99