A Formal Proof of the Rate Monotonic Scheduler.

Shuzhen Dong, Qiwen Xu, Naijun Zhan

Browse the full RTCSA paper archive.