Mixed-Criticality Scheduling upon Varying-Speed Processors | IEEE Conference Publication | IEEE Xplore