A Bailout Protocol for Mixed Criticality Systems | IEEE Conference Publication | IEEE Xplore