SystemC Power Profiling for IoT Device Firmware using Runtime Configurable Models | IEEE Conference Publication | IEEE Xplore