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