Architecting dynamic power management to be formally verifiable | IEEE Conference Publication | IEEE Xplore