Shuzhen Dong, Qiwen Xu, Naijun Zhan. A Formal Proof of the Rate Monotonic Scheduler. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China. pages 500, IEEE Computer Society, 1999. [doi]
Abstract is missing.