Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor | IEEE Conference Publication | IEEE Xplore