@inproceedings{Fernandez:ICALEPCS2017_ITER,
  author = {Fern{\'a}ndez Adiego, Borja and
		Darvas, D{\'a}niel and
		Blanco Vi{\~n}uela, Enrique and
		Sallai, Gyula and
		Prieto Diaz, Ignacio and
		Lee, Gisik and
		Avinashkrishna, Bhimavarapu and
		Gaikwad, Yogesh Chandrakant and
		Sreekuttan, Sailaraj and
		Pedica, Riccardo},
  title = {Applying model checking to critical {PLC} applications: {A}n {ITER} case study},
  booktitle = {Proceedings of the 16th International Conference on Accelerator and Large Experimental Physics Control Systems},
  year = {2017},
  editor = {Volker R.W. Schaa and Isidre Costa and David Fern{\'a}ndez and {\'O}scar Matilla},
  pages = {1792-1796},
  publisher = {JACoW},
  isbn = {978-3-95450-193-9},
  doi = {10.18429/JACoW-ICALEPCS2017-THPHA161},
  pdf-link = {http://darvasd.hu/publications/THPHA161.pdf},
  bib-link = {ICALEPCS2017_ITER.bib},
  url = {https://accelconf.web.cern.ch/ICALEPCS2017/papers/thpha161.pdf},
  mtmt = {3304081},
}