DVFS Virtualization for Energy Minimization of Mixed-Criticality Dual-OS Platforms | IEEE Conference Publication | IEEE Xplore