Real-Time Dynamic Voltage Scaling for the EPOS Operating System | IEEE Conference Publication | IEEE Xplore