@misc{indiciae4df5690f9344,
  title = {HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification},
  author = {Luis Garcia and Stefan Mitsch and Andre Platzer},
  year = {2019},
  doi = {10.1145/3302509.3311036},
  url = {https://arxiv.org/abs/1902.05205},
  note = {Source identifier: 1902.05205}
}