Linden, R., & da Silva, V. N. A. L. (2012). Finite Non-Deterministic Automata for FaultDiagnostic in Power Systems. INFOCOMP Journal of Computer Science, 11(2), 21–27. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/353