The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
D. Darvas, E. Blanco Viñuela, and I. Majzik, “What is Special About PLC Software Model Checking?”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, paper THPHA159, pp. 1781-1786, ISBN: 978-3-95450-193-9, https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159, 2018.