@misc{indiciae0e1f8b23efa6,
  title = {Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis},
  author = {Pierre Dantas and Lucas Cordeiro and Waldir Junior},
  year = {2026},
  url = {https://arxiv.org/abs/2607.08417},
  note = {Source identifier: 2607.08417}
}