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. http://177.105.60.18/index.php/infocomp/article/view/353.