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