Miranda, Diego, E 		Hayashi, Victor.
" Static analysis for Ladder Logic Bombs (LLB) detection in Programmable Logic Controllers (PLC)" <em>Anais do Simpósio Brasileiro de Cibersegurança (SBSeg)</em> [Online], (1 setembro 2026)