The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
%\cite{Darvas:ICALEPCS2015-WEPGF092}
\bibitem{Darvas:ICALEPCS2015-WEPGF092}
D. Darvas, E. Blanco Vinuela, and B. Fernández Adiego,
\textquotedblleft{PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques}\textquotedblright,
% in \emph{Proc. ICALEPCS2015}, pp. 911--914,
% in \emph{Proc. ICALEPCS2015}, Melbourne, Australia, Oct. 2015, paper WEPGF092, pp. 911--914,
in \emph{Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15)},
Melbourne, Australia, Oct. 2015, paper WEPGF092, pp. 911--914,
% ISBN: 978-3-95450-148-9,
\url{http://jacow.org/icalepcs2015/papers/wepgf092.pdf},
\url{doi:10.18429/JACoW-ICALEPCS2015-WEPGF092}, 2015.