Linden, Ricardo, and Victor Navarro Araújo Lemos da Silva. 2012. “Finite Non-Deterministic Automata for FaultDiagnostic in Power Systems”. INFOCOMP Journal of Computer Science 11 (2):21-27. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/353.