The rate monotonic scheduling algorithm: exact characterization and average case behavior | Synapse