Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. - Takeru Inoue; Norihito Yasuda; Shunsuke Kawano; Yuji Takenobu; Shin-ichi Minato; Yasuhiro Hayashitakeru (IEEE Trans. Smart Grid, 2015)