Processor voltage scheduling for real-time tasks with non-preemptible sections | IEEE Conference Publication | IEEE Xplore