Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures | IEEE Journals & Magazine | IEEE Xplore