HyPLC: Hybrid programmable logic controller program translation for verification

@INPROCEEDINGS{DBLP:conf/iccps/GarciaMP19,
	pdf = {pub/HyPLC.pdf},

  author    = {Luis Garcia and
               Stefan Mitsch and
               Andr{\'{e}} Platzer},
  title     = {{HyPLC}: Hybrid Programmable Logic Controller Program Translation for Verification},
  booktitle = {ICCPS},
  longbooktitle = {10th IEEE/ACM International Conference on Cyber-Physical Systems},
  year      = {2019},
  editor    = {Linda Bushnell and
               Miroslav Pajic},
  pages     = {47-56 },
  publisher = {},
  isbn      = {},
  doi       = {10.1145/3302509.3311036},
}```