Verification of power grid voltage constraint satisfaction — A barrier certificate approach | IEEE Conference Publication | IEEE Xplore