Power estimation in embedded systems within a SystemC-based design context: The PKtool environment | IEEE Conference Publication | IEEE Xplore