@inproceedings{Darvas:ICALEPCS2019_PLCverif,
  author = {Darvas, D\'aniel and Blanco Vi{\~n}uela, Enrique and Moln\'ar, Vince},
  title = {{PLCverif} Re-engineered: {A}n Open Platform for the Formal Analysis of {PLC} Programs},
  booktitle = {Proceedings of the 17th International Conference on Accelerator and Large Experimental Physics Control Systems},
  year = {2019},
  editor = {Karen S. White and Kevin A. Brown and Philip S. Dyer and Volker R.W. Schaa},
  pages = {21-27},
  publisher = {JACoW},
  isbn = {978-3-95450-209-7},
  doi = {10.18429/JACoW-ICALEPCS2019-MOBPP01},
  pdf-link = {http://darvasd.hu/publications/ICALEPCS2019_MOBPP01.pdf},
  bib-link = {ICALEPCS2019_PLCverif.bib},
  url = {https://accelconf.web.cern.ch/ICALEPCS2019/papers/mobpp01.pdf},
  mtmt = {31638507}
}