The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
%\cite{Jacky:ICALEPCS2017-TUDPL02}
\bibitem{Jacky:ICALEPCS2017-TUDPL02}
J.P. Jacky, S.P. Banerian, M.D. Ernst, C.A. Loncaric, S. Pernsteiner, Z.L. Tatlock, and \emph{et al.},
% J.P. Jacky, S.P. Banerian, M.D. Ernst, C.A. Loncaric, S. Pernsteiner, Z.L. Tatlock, and E. Torlak,
% J.P. Jacky \emph{et al.},
\textquotedblleft{Automatic Formal Verification for EPICS}\textquotedblright,
in \emph{Proc. ICALEPCS2017}, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02}, 2018.
% in \emph{Proc. ICALEPCS2017}, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02}, pp. 285--291.
% in \emph{Proc. ICALEPCS2017}, Barcelona, Spain, Oct. 2017, paper TUDPL02, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02}
% in \emph{Proc. 16th Int. Conf. on Accelerator and Large Experimental Control Systems (ICALEPCS'17)},
% Barcelona, Spain, Oct. 2017, paper TUDPL02, pp. 285--291,
% ISBN: 978-3-95450-193-9,
% \url{http://jacow.org/icalepcs2017/papers/tudpl02.pdf},
% \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02}, 2018.