Energy Characterization and Classification of Embedded Operating System Services | IEEE Conference Publication | IEEE Xplore