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