Mixed-Criticality Scheduling Theory: Scope, Promise, and Limitations | IEEE Journals & Magazine | IEEE Xplore