Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors | IEEE Conference Publication | IEEE Xplore