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