R. Linden and V. N. A. L. da Silva, “Finite Non-Deterministic Automata for FaultDiagnostic in Power Systems”, INFOCOMP Journal of Computer Science, vol. 11, no. 2, pp. 21–27, Jun. 2012.