Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. - Naghmeh Ghafari; Ramana Kumar; Jeff Joyce; Bernd Dehning; Christos Zamantzas (FMICS, 2011)

Possibilities for On-line Detector Connectivity Checks in Beam Loss Monitoring Systems. - Csaba Hajdu; Tamás Dabóczi; Christos Zamantzas (Period. Polytech. Electr. Eng. Comput. Sci., 2017)

FPGA-based Data Processing in the Neutron-Sensitive Beam Loss Monitoring System for the ESS Linac. - Grzegorz Jablonski; Irena Dolenc Kittelmann; Wojciech Jalmuzna; Rafal Kielbik; Wojciech Cichalewski; Kaj Rosengren; Thomas Shea; Fabio dos Santos Alves; Viatcheslav Grishin; Thomas Papaevangelou; Laura Segui; Christos Zamantzas (MIXDES, 2019)