JACoW is a publisher in Geneva, Switzerland that publishes the proceedings of accelerator conferences held around the world by an international collaboration of editors.
B. Fernández Adiego, E. Blanco Viñuela, F. Havart, T. Ladzinski, I.D. Lopez-Miguel, and J-C. Tournier, “Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program”, in Proc. ICALEPCS'21, Shanghai, China, Oct. 2021, pp. 759-763. doi:10.18429/JACoW-ICALEPCS2021-WEPV042