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 I. Majzik, “A Formal Specification Method for PLC-based Applications”, in Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15), Melbourne, Australia, October 2015, paper WEPGF091, pp. 907-910, ISBN: 978-3-95450-148-9, doi:10.18429/JACoW-ICALEPCS2015-WEPGF091, http://jacow.org/icalepcs2015/papers/wepgf091.pdf, 2015.