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