@inproceedings{Darvas:ICALEPCS2015_PLCspecif,
  author = {Darvas, D\'aniel and Blanco Vi{\~n}uela, Enrique and Majzik, Istv\'an},
  title = {A formal specification method for {PLC}-based applications},
  booktitle = {Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems},
  year = {2015},
  editor = {Lou Corvetti and Kathleen Riches and Volker R.W. Schaa},
  pages = {907-910},
  publisher = {JACoW},
  isbn = {978-3-95450-148-9},
  doi = {10.18429/JACoW-ICALEPCS2015-WEPGF091},
  pdf-link = {http://darvasd.hu/publications/WEPGF091.pdf},
  bib-link = {ICALEPCS2015_PLCspecif.bib},
  url = {http://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf091.pdf},
  mtmt = {3036805},
}