Linden, R.; da Silva, V. N. A. L. Finite Non-Deterministic Automata for FaultDiagnostic in Power Systems. INFOCOMP Journal of Computer Science 2012, 11, 21-27.