@misc{indiciae8878ce485cbd,
  title = {PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller},
  author = {Ignacio D. Lopez-Miguel and Jean-Charles Tournier and Borja Fernandez Adiego},
  year = {2022},
  doi = {10.18429/jacow-icalepcs2021-mopv042},
  url = {https://arxiv.org/abs/2203.17253},
  note = {Source identifier: 2203.17253}
}