{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T21:39:00Z","timestamp":1770845940089,"version":"3.50.1"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:00:00Z","timestamp":1759622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:00:00Z","timestamp":1759622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,5]]},"DOI":"10.1109\/smc58881.2025.11342550","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:44Z","timestamp":1769633684000},"page":"4653-4660","source":"Crossref","is-referenced-by-count":0,"title":["Leveraging Industrial Automation Boundaries and Regulation for Scope Reduction in Software Validation"],"prefix":"10.1109","author":[{"given":"Yizhi","family":"Wang","sequence":"first","affiliation":[{"name":"Technical University of Munich,Institute of Automation and Information Systems,Garching,Germany"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Institute of Automation and Information Systems,Garching,Germany"}]},{"given":"Jan","family":"Wilch","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Institute of Automation and Information Systems,Garching,Germany"}]},{"given":"Cedric","family":"Wagner","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology,Institute of Information Security and Dependability,Karlsruhe,Germany"}]},{"given":"Andreas","family":"Bremer","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology,Institute of Information Security and Dependability,Karlsruhe,Germany"}]},{"given":"Alexander","family":"Weigl","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology,Institute of Information Security and Dependability,Karlsruhe,Germany"}]},{"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology,Institute of Information Security and Dependability,Karlsruhe,Germany"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Annex 15: Qualification and Validation: EU Guidelines for Good Manufacturing Practice for Medicinal Products for Human and Veterinary Use","author":"Commission","year":"2015","journal-title":"European Commission"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2018-0028"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.05.051"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2020.3007764"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S1071-5819(03)00115-0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2016.91001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2018.08.007"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.01509"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332487"},{"key":"ref10","first-page":"6025","article-title":"Static slicing for PLC program with ladder transformation","volume-title":"Proceedings of the 29th Chinese Control Conference","author":"Wang"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00025"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247707"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-1_20"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17108-6_9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/compsac65507.2025.00155"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3643739"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0448-7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2941584"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW55395.2022.00055"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25423-4_15"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01279"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN45523.2021.9557505"},{"key":"ref23","volume-title":"Introduction: EU Guidelines for Good Manufacturing Practice for Medicinal Products for Human and Veterinary Use","year":"2011"},{"key":"ref24","volume-title":"Commission Directive (EU) 2017\/1572","year":"2017"},{"key":"ref25","year":"2008","journal-title":"GAMP 5: A Risk-Based Approach to Compliant GxP Computerized Systems"},{"key":"ref26","volume-title":"Annex 11: Computerised Systems: EU Guidelines for Good Manufacturing Practice for Medicinal Products for Human and Veterinary Use","year":"2011"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00179-4"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111070"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2021-0138"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-92823-9_16"},{"key":"ref31","volume-title":"Machine and Unit States: An implementation example of ISA-88, ISA-TR88.00.02","year":"2008"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-1_9"}],"event":{"name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Vienna, Austria","start":{"date-parts":[[2025,10,5]]},"end":{"date-parts":[[2025,10,8]]}},"container-title":["2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11342430\/11342431\/11342550.pdf?arnumber=11342550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T20:52:08Z","timestamp":1770843128000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11342550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,5]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/smc58881.2025.11342550","relation":{},"subject":[],"published":{"date-parts":[[2025,10,5]]}}}