Oliveira, Lucas, AND Gurjão, Edmar. " Automatic Cybersecurity Analyzer for the Electric Sector" Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg) [Online], (1 September 2025)