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)