{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:12:22Z","timestamp":1761808342141,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"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":[[2019,11]]},"DOI":"10.1109\/icsrs48664.2019.8987701","type":"proceedings-article","created":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T02:46:05Z","timestamp":1581389165000},"page":"126-135","source":"Crossref","is-referenced-by-count":6,"title":["Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Kaalen","sequence":"first","affiliation":[]},{"given":"Mattias","family":"Nyberg","sequence":"additional","affiliation":[]},{"given":"Carl","family":"Bondesson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2019","key":"ref10"},{"year":"2019","key":"ref11"},{"year":"2019","key":"ref12"},{"year":"2019","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-09711-0_2"},{"key":"ref15","article-title":"System reliability theory: Models, statistical methods and applications","author":"rausand","year":"2004","journal-title":"John Wiley and Sons Inc"},{"year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0177-x"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2002.981706"},{"key":"ref4","first-page":"416","article-title":"Processus semi-markoviens","author":"levy","year":"1954","journal-title":"Proceedings of the International Congress of Mathematicians Amsterdam"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(96)00121-4"},{"journal-title":"Semi-Markov Processes Application in System Reliability and Maintenance","year":"2015","author":"grabski","key":"ref6"},{"key":"ref5","first-page":"6","article-title":"Regenerative stochastic processes","volume":"232","author":"smith","year":"1955","journal-title":"Proceedings of the Royal Society A"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-69033-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0161-8"},{"journal-title":"ISO26262 Road vehicles - functional safety International Organization for Standardization","year":"2018","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2307\/1266530"},{"journal-title":"Continuous-time Markov chains 2013","year":"2019","author":"whitt","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1201\/9781351174664-97"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177704864"}],"event":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2019,11,20]]},"location":"Rome, Italy","end":{"date-parts":[[2019,11,22]]}},"container-title":["2019 4th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8967508\/8987581\/08987701.pdf?arnumber=8987701","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T15:29:25Z","timestamp":1658158165000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8987701\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icsrs48664.2019.8987701","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}