Assertion-Based Modal Power Estimation | IEEE Conference Publication | IEEE Xplore