{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T20:00:30Z","timestamp":1772740830880,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004040","name":"KU Leuven","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004040","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,20]]},"DOI":"10.1109\/icsrs63046.2024.10927587","type":"proceedings-article","created":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T23:18:00Z","timestamp":1743463080000},"page":"371-377","source":"Crossref","is-referenced-by-count":2,"title":["Advancing Safe Robot Behavior by Formalizing STPA with Tumato"],"prefix":"10.1109","author":[{"given":"Jan","family":"Vermaelen","sequence":"first","affiliation":[{"name":"KU Leuven,DistriNet,Leuven,Belgium,3001"}]},{"given":"Tom","family":"Holvoet","sequence":"additional","affiliation":[{"name":"KU Leuven,DistriNet,Leuven,Belgium,3001"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1631\/FITEE.1601650"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2019.103201"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"ref4","volume-title":"STPA Handbook","author":"Leveson","year":"2018"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-024-09949-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2017.05.037"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsse.2018.06.004"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2023.106080"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.proeng.2015.11.500"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1051\/matecconf\/201927302010"},{"key":"ref11","volume-title":"Failure mode and effect analysis","author":"Stamatis","year":"2003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2012.08.010"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jhazmat.2009.08.076"},{"key":"ref14","volume-title":"Fault tree handbook. Systems and Reliability Research","author":"Vesely","year":"1981"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"ref16","first-page":"83","article-title":"Case study analysis of stpa on an industrial cooperative robot and an autonomous mobile robot","volume-title":"The Future of Safe Systems-Proceedings of the Safety-Critical Systems Symposium","author":"Buysse","year":"2023"},{"key":"ref17","author":"Dinh","year":"2017","journal-title":"Sound and complete reactive uav behavior using constraint programming"}],"event":{"name":"2024 8th International Conference on System Reliability and Safety (ICSRS)","location":"Sicily, Italy","start":{"date-parts":[[2024,11,20]]},"end":{"date-parts":[[2024,11,22]]}},"container-title":["2024 8th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10927037\/10927041\/10927587.pdf?arnumber=10927587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:53:27Z","timestamp":1743497607000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10927587\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,20]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icsrs63046.2024.10927587","relation":{},"subject":[],"published":{"date-parts":[[2024,11,20]]}}}