Energy-optimizing source code transformations for OS-driven embedded software | IEEE Conference Publication | IEEE Xplore