@misc{indiciae2235be49211c,
  title = {Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)},
  author = {Ignacio D. Lopez-Miguel and Borja Fernández Adiego and Matias Salinas and Christine Betz},
  year = {2025},
  url = {https://arxiv.org/abs/2502.19150},
  note = {Source identifier: 2502.19150}
}