Run-time schedulability check of real-time tasks for energy efficiency | IEEE Conference Publication | IEEE Xplore