A formal proof of the rate monotonic scheduler | IEEE Conference Publication | IEEE Xplore