Miranda, D., & 		Hayashi, V.
(2026).
 Static analysis for Ladder Logic Bombs (LLB) detection in Programmable Logic Controllers (PLC).
In <em>Anais do XXVI Simpósio Brasileiro de Cibersegurança</em>, (pp. 1105-1117). Porto Alegre: SBC.
doi:10.5753/sbseg.2026.27121