Optimizing Energy in Non-Preemptive Mixed-Criticality Scheduling by Exploiting Probabilistic Information | IEEE Journals & Magazine | IEEE Xplore