Embedded operating system energy analysis and macro-modeling | IEEE Conference Publication | IEEE Xplore