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