The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
@InProceedings{FernandezAdiego:ICALEPCS2017-THPHA161,
author = {B. Fernández Adiego and others},
title = {{A}pplying {M}odel {C}hecking to {C}ritical {PLC} {A}pplications: {A}n {ITER} {C}ase {S}tudy},
booktitle = {Proc. of International Conference on Accelerator and Large Experimental Control Systems (ICALEPCS'17),
Barcelona, Spain, 8-13 October 2017},
pages = {1792--1796},
paper = {THPHA161},
language = {english},
keywords = {ion, PLC, SCADA, controls, software},
venue = {Barcelona, Spain},
series = {International Conference on Accelerator and Large Experimental Control Systems},
number = {16},
publisher = {JACoW},
address = {Geneva, Switzerland},
month = {Jan.},
year = {2018},
isbn = {978-3-95450-193-9},
doi = {https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161},
url = {http://jacow.org/icalepcs2017/papers/thpha161.pdf},
note = {https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161},
}