JACoW is a publisher in Geneva, Switzerland that publishes the proceedings of accelerator conferences held around the world by an international collaboration of editors.
%\cite{lopez-miguel:icalepcs2023-tupdp001}
\bibitem{lopez-miguel:icalepcs2023-tupdp001}
I.D. Lopez-Miguel, C. Betz, E. Blanco Viñuela, B. Fernández Adiego, and M. Salinas,
“Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code”,
% --- complete abbrev. form (published paper) - JACoW template Nov 2022 ---
in \emph{Proc. 19th Int. Conf. Accel. Large Exp. Phys. Control Syst. (ICALEPCS'23)}, Cape Town, South Africa, Oct. 2023, pp.~467--472.
% --- abbreviated form (published paper) - JACoW template Nov 2022 ---
% in \emph{Proc. ICALEPCS'23}, Cape Town, South Africa, Oct. 2023, pp.~467--472.
\url{doi:10.18429/JACoW-ICALEPCS2023-TUPDP001}
% --- additional material -ISSN/ISBN--
% ISBN: 978-3-95450-238-7, ISSN: 2226-0358