Formal verification of fault location, isolation and service restoration in distribution automation using UPPAAL | IEEE Conference Publication | IEEE Xplore