Finite State Machine Model of Fault Diagnosis for Distribution System under Time Sequence Constraints | IEEE Conference Publication | IEEE Xplore