Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude | IEEE Journals & Magazine | IEEE Xplore