{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T16:45:37Z","timestamp":1773333937286,"version":"3.50.1"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"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,11,26]]},"DOI":"10.1109\/icsrs68021.2025.11422081","type":"proceedings-article","created":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T19:36:03Z","timestamp":1773257763000},"page":"321-330","source":"Crossref","is-referenced-by-count":0,"title":["Towards Practical Safety Contracts in Industry 4.0: Challenges, Examples, and Enabling Properties"],"prefix":"10.1109","author":[{"given":"Mateus","family":"Molina","sequence":"first","affiliation":[{"name":"University of Kaiserslautern-Landau,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rasmus","family":"Adler","sequence":"additional","affiliation":[{"name":"Fraunhofer IESE,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern-Landau,Fraunhofer IESE,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Recommendations for Implementing the Strategic Initiative Industrie 4.0: Securing the Future of German Manufacturing Industry","author":"Kagermann","year":"2013","journal-title":"acatech - National Academy of Science and Engineerin, Munich, Germany, Final Report of the Industrie 4.0 Working Group"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08915-7_11"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45279-0_34"},{"key":"ref4","article-title":"Sicherheit von Maschinen - Allgemeine Gestaltungsleits\u00e4tze - Risikobeurteilung und Risikominderung (ISO 12100:2010)","year":"2011","journal-title":"iSSN: 0176-6854 tex.entrytype: standard tex.key: DIN EN ISO 12100 tex.version: 2011-03"},{"key":"ref5","volume-title":"IEC 61508-4:2010 - Functional safety of electrical\/electronic\/programmable electronic safetyrelated systems - Part 4: Definitions and abbreviations","year":"2010"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1155\/2016\/3159805"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2016.40"},{"key":"ref8","article-title":"Modular safety cases for the assurance of industry 4.0","volume-title":"Safety-Critical Systems Symposium","author":"Jaradat"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101914"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15842-1_7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1772643.1772660"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"ref13","volume-title":"Directive 2006\/42\/EC of the european parliament and of the council of 17 may 2006 on machinery, and amending directive 95\/16\/EC (recast)","year":"2006"},{"key":"ref14","first-page":"35","article-title":"Regulation (EU) 2023\/1230 of the european parliament and of the council of 14 june 2023 on machinery and repealing directive 2006\/42\/EC and council directive 73\/361\/EEC","volume":"2023","year":"2023","journal-title":"Official Journal of the European Union (OJ L 165, 29.6.2023, p. 1), with Corrigendum (OJ L 169, 4.7"},{"key":"ref15","volume-title":"Regulation (EU) 2024\/1689 of the european parliament and of the council of 13 june 2024 laying down harmonised rules on artificial intelligence and amending regulations (EC) no 300\/2008, (EU) no 167\/2013, (EU) no 168\/2013, (EU) 2018\/858, (EU) 2018\/1139 and (EU) 2019\/2144 and directives 2014\/90\/EU, (EU) 2016\/797 and (EU) 2020\/1828 (artificial intelligence act) (text with EEA relevance)","year":"2024"},{"key":"ref16","volume-title":"Sicherheit von Maschinen - Sicherheitsbezogene Teile von Steuerungen - Teil 1: Allgemeine Gestaltungsleits\u00e4tze (ISO 13849-1:2023)","year":"2023"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.20965\/ijat.2021.p0678"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3225399"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15842-1_17"},{"key":"ref20","year":"2021","journal-title":"ISO\/IEC\/IEEE 15026-4-2021 - Systems and software engineering - Systems and software assurance - Part 4: Assurance in the life cycle"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2019.00595.x"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381825"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS51473.2023.10088190"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2011.20"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2012.28"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC51268.2020.00017"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS51251.2021.00025"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26250-1_29"},{"key":"ref29","article-title":"IEC 61508-7:2010 - Functional safety of electrical\/electronic\/programmable electronic safetyrelated systems - Part 7: Overview of techniques and measures","year":"2010","journal-title":"Geneva, Switzerland"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2012.6300900"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66284-8_26"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26601-1_15"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-024-14112-7"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"}],"event":{"name":"2025 9th International Conference on System Reliability and Safety (ICSRS)","location":"Turin, Italy","start":{"date-parts":[[2025,11,26]]},"end":{"date-parts":[[2025,11,28]]}},"container-title":["2025 9th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11422028\/11422048\/11422081.pdf?arnumber=11422081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T04:50:56Z","timestamp":1773291056000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11422081\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,26]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/icsrs68021.2025.11422081","relation":{},"subject":[],"published":{"date-parts":[[2025,11,26]]}}}