Model-based automated testing of critical PLC programs. - Borja Fernandez Adiego; Enrique Blanco Viñuela; Víctor M. González Suárez; Simon Bliudze (INDIN, 2013)

Formal Verification of Complex Properties on PLC Programs. - Dániel Darvas; Borja Fernandez Adiego; András Vörös 001; Tamás Bartha; Enrique Blanco Viñuela; Víctor M. González Suárez (FORTE, 2014)

Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. - Borja Fernandez Adiego; Dániel Darvas; Jean-Charles Tournier; Enrique Blanco Viñuela; Víctor M. González Suárez (WODES, 2014)

Applying Model Checking to Industrial-Sized PLC Programs. - Borja Fernandez Adiego; Dániel Darvas; Enrique Blanco Viñuela; Jean-Charles Tournier; Simon Bliudze; Jan Olaf Blech; Víctor Manuel González Suárez (IEEE Trans. Ind. Informatics, 2015)

Simplification of numeric variables for PLC model checking. - Ignacio D. Lopez-Miguel; Borja Fernández Adiego; Jean-Charles Tournier; Enrique Blanco Viñuela; Juan A. Rodríguez-Aguilar (MEMOCODE, 2021)

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program. - Borja Fernandez Adiego; Ignacio D. Lopez-Miguel; Jean-Charles Tournier; Enrique Blanco Viñuela; Tomasz Ladzinski; Frederic Havart (CoRR, 2022)

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller. - Ignacio D. Lopez-Miguel; Jean-Charles Tournier; Borja Fernandez Adiego (CoRR, 2022)

Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. - Ignacio D. Lopez-Miguel; Borja Fernández Adiego; Faiq Ghawash; Enrique Blanco Viñuela (EANN, 2023)

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. - Zsófia Ádám; Ignacio D. Lopez-Miguel; Anastasia Mavridou; Thomas Pressburger; Marcin Bes; Enrique Blanco Viñuela; Andreas Katis; Jean-Charles Tournier; Khanh V. Trinh; Borja Fernández Adiego (NFM, 2023)

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. - Xaver Fink; Anastasia Mavridou; Andreas Katis; Borja Fernández Adiego (NFM, 2024)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study. - Ignacio D. Lopez-Miguel; Borja Fernández Adiego; Matias Salinas; Christine Betz (NFM, 2025)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version). - Ignacio D. Lopez-Miguel; Borja Fernández Adiego; Matias Salinas; Christine Betz (CoRR, 2025)