{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T04:15:49Z","timestamp":1743567349233,"version":"3.40.3"},"reference-count":20,"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"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,20]]},"DOI":"10.1109\/icsrs63046.2024.10927460","type":"proceedings-article","created":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T23:18:00Z","timestamp":1743463080000},"page":"572-577","source":"Crossref","is-referenced-by-count":0,"title":["Advanced Tools and Model-Based Analysis for Digital and Software-Defined Systems in Safety-Critical Applications"],"prefix":"10.1109","author":[{"given":"Samuel Garc\u00eda","family":"Lorente","sequence":"first","affiliation":[{"name":"Anzen Aerospace Engineering,Systems Safety Engineer,Madrid,Spain"}]},{"given":"Daniel Villafa\u00f1e","family":"Delgado","sequence":"additional","affiliation":[{"name":"Anzen Aerospace Engineering,Systems Engineer,Madrid,Spain"}]},{"given":"Pablo L\u00f3pez","family":"Negro","sequence":"additional","affiliation":[{"name":"Anzen Aerospace Engineering,Head of Innovation,Madrid,Spain"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.3390\/en15249362"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/picst47496.2019.9061421"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/sds.2017.7939141"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-319-12214-4_7"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/j.paerosci.2012.02.004"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.4271\/arp4761"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/dasc.2015.7311637"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.4271\/arp4754a"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/icsrs59833.2023.10381297"},{"year":"2024","author":"Leveson","article-title":"A Comparison of SAE ARP 4761 and STPA Safety Assessment Processes","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/s10009-012-0238-x"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/s0951-8320(00)00077-6"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.3403\/30179089u"},{"volume-title":"European Committee for Electrotechnical Standardization","year":"2018","article-title":"Railway applications - Communication, signaling and processing systems - Safety related electronic systems for signaling","key":"ref14"},{"volume-title":"International Electrotechnical Commission","year":"2010","article-title":"Functional safety of electrical\/electronic\/programmable electronic safety-related systems","key":"ref15"},{"volume-title":"Rev. 1, European Cooperation for Space Standardization","year":"2009","article-title":"Space product assurance - Safety","key":"ref16"},{"key":"ref17","article-title":"MBSE with the ARCADIA Method and the Capella Tool","volume-title":"Proc. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)","author":"Roques","year":"2016"},{"year":"2024","author":"Engineering","article-title":"[Online]","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-030-17462-0_25"},{"volume-title":"Markov Solver for Safety, V0.1.0","year":"2024","author":"Lorente","key":"ref20"}],"event":{"name":"2024 8th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2024,11,20]]},"location":"Sicily, Italy","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\/10927460.pdf?arnumber=10927460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:47:27Z","timestamp":1743497247000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10927460\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,20]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icsrs63046.2024.10927460","relation":{},"subject":[],"published":{"date-parts":[[2024,11,20]]}}}