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{fernandezadiego:icalepcs2021-wepv042} \bibitem{fernandezadiego:icalepcs2021-wepv042} B. Fernández Adiego, E. Blanco Viñuela, F. Havart, T. Ladzinski, I.D. Lopez-Miguel, and J-C. Tournier, \textquotedblleft{Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program}\textquotedblright, % --- abbreviated form (published paper) - JACoW template Feb 2018 --- in \emph{Proc. ICALEPCS'21}, Shanghai, China, Oct. 2021, pp. 759--763. \url{doi:10.18429/JACoW-ICALEPCS2021-WEPV042} % --- additional material -ISSN/ISBN-- % ISBN: 978-3-95450-221-9, ISSN: 2226-0358