Precise Mixed-Criticality Scheduling on Varying-Speed Multiprocessors | IEEE Journals & Magazine | IEEE Xplore