Implementing Mixed-criticality Systems Upon a Preemptive Varying-speed Processor Zhishan Guo, Sanjoy K. Baruah 03:1–03:19 2014-11-17