The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
%\cite{FernandezAdiego:ICALEPCS2017-THPHA161}
\bibitem{FernandezAdiego:ICALEPCS2017-THPHA161}
B. Fernández Adiego, B. Avinashkrishna, E. Blanco Viñuela, D. Darvas, Y.C. Gaikwad, G.S. Lee, \emph{et al.},
% B. Fernández Adiego, B. Avinashkrishna, E. Blanco Viñuela, D. Darvas, Y.C. Gaikwad, G.S. Lee, R. Pedica, I. Prieto Diaz, Gy. Sallai, and S. Sreekuttan,
% B. Fernández Adiego \emph{et al.},
\textquotedblleft{Applying Model Checking to Critical PLC Applications: An ITER Case Study}\textquotedblright,
in \emph{Proc. ICALEPCS2017}, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161}, 2018.
% in \emph{Proc. ICALEPCS2017}, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161}, pp. 1792--1796.
% in \emph{Proc. ICALEPCS2017}, Barcelona, Spain, Oct. 2017, paper THPHA161, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161}
% in \emph{Proc. 16th Int. Conf. on Accelerator and Large Experimental Control Systems (ICALEPCS'17)},
% Barcelona, Spain, Oct. 2017, paper THPHA161, pp. 1792--1796,
% ISBN: 978-3-95450-193-9,
% \url{http://jacow.org/icalepcs2017/papers/thpha161.pdf},
% \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161}, 2018.