The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
%\cite{Darvas:ICALEPCS2015-WEPGF091}
\bibitem{Darvas:ICALEPCS2015-WEPGF091}
D. Darvas, E. Blanco Vinuela, and I. Majzik,
\textquotedblleft{A Formal Specification Method for PLC-based Applications}\textquotedblright,
% in \emph{Proc. ICALEPCS2015}, pp. 907--910,
% in \emph{Proc. ICALEPCS2015}, Melbourne, Australia, Oct. 2015, paper WEPGF091, pp. 907--910,
in \emph{Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15)},
Melbourne, Australia, Oct. 2015, paper WEPGF091, pp. 907--910,
% ISBN: 978-3-95450-148-9,
\url{http://jacow.org/icalepcs2015/papers/wepgf091.pdf},
\url{doi:10.18429/JACoW-ICALEPCS2015-WEPGF091}, 2015.