engLopez-Miguel, Ignacio D.Adiego, Borja FernándezSalinas, MatiasBetz, ChristineFormal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study0302-9743 15682, 227 - 235 (2025). doi:10.1007/978-3-031-93706-4_13info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionNASA Formal Methods / Dutle, Aaron (Editor); Cham : Springer Nature Switzerland, 2025, Chapter 13 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-93705-7=978-3-031-93706-4 ; doi:10.1007/978-3-031-93706-4NASA Formal Methods / Dutle, Aaron (Editor); Cham : Springer Nature Switzerland, 2025, Chapter 13 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-93705-7=978-3-031-93706-4 ; doi:10.1007/978-3-031-93706-4<br/>17th International Symposium on NASA Formal Methods-NFM, VA, Virgina, usa, 2025-06-11 - 2025-06-13Springer Nature Switzerland2025info:eu-repo/semantics/closedAccessDEhttps://repository.gsi.de/record/364952https://repository.gsi.de/search?p=id:%22GSI-2026-00321%22Researchersinfo:eu-repo/semantics/altIdentifier/issn/0302-9743info:eu-repo/semantics/altIdentifier/issn/1611-3349info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-93706-4_13info:eu-repo/semantics/altIdentifier/wos/WOS:001548537000013info:eu-repo/semantics/altIdentifier/isbn/978-3-031-93705-7 (print)