The rate monotonic scheduling algorithm: exact characterization and average case behavior | IEEE Conference Publication | IEEE Xplore