The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior