Embedded operating systems energy overhead | IEEE Conference Publication | IEEE Xplore