Energy efficient DVFS scheduling for mixed-criticality systems | IEEE Conference Publication | IEEE Xplore