The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
%\cite{Darvas:ICALEPCS2017-THPHA159}
\bibitem{Darvas:ICALEPCS2017-THPHA159}
D. Darvas, E. Blanco Viñuela, and I. Majzik,
\textquotedblleft{What is Special About PLC Software Model Checking?}\textquotedblright,
in \emph{Proc. ICALEPCS2017}, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159}, 2018.
% in \emph{Proc. ICALEPCS2017}, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159}, pp. 1781--1786.
% in \emph{Proc. ICALEPCS2017}, Barcelona, Spain, Oct. 2017, paper THPHA159, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159}
% in \emph{Proc. 16th Int. Conf. on Accelerator and Large Experimental Control Systems (ICALEPCS'17)},
% Barcelona, Spain, Oct. 2017, paper THPHA159, pp. 1781--1786,
% ISBN: 978-3-95450-193-9,
% \url{http://jacow.org/icalepcs2017/papers/thpha159.pdf},
% \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159}, 2018.