Early-stage verification of power-management specification in low-power systems design | IEEE Conference Publication | IEEE Xplore