Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network. - Jiaming Weng; Dong Liu 018; Yingxu Liu (IET Cyper-Phys. Syst.: Theory & Appl., 2021)