The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
B. Fernández Adiego et al., “Applying Model Checking to Critical PLC Applications: An ITER Case Study”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, paper THPHA161, pp. 1792-1796, ISBN: 978-3-95450-193-9, https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161, 2018.