Introducing Utilization Caps into Mixed-Criticality Scheduling | IEEE Conference Publication | IEEE Xplore