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 Vinuela, and B. Fernández Adiego, “PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques”, in Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15), Melbourne, Australia, October 2015, paper WEPGF092, pp. 911-914, ISBN: 978-3-95450-148-9, doi:10.18429/JACoW-ICALEPCS2015-WEPGF092, http://jacow.org/icalepcs2015/papers/wepgf092.pdf, 2015.