Mixed Criticality Reward-Based Systems Using Resource Reservation | IEEE Journals & Magazine | IEEE Xplore