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.