Model Driven High-Level Power Estimation of Embedded Operating Systems Communication Services | IEEE Conference Publication | IEEE Xplore