{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T06:23:35Z","timestamp":1748499815296},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1109\/aspdac.2013.6509632","type":"proceedings-article","created":{"date-parts":[[2013,5,3]],"date-time":"2013-05-03T23:36:53Z","timestamp":1367624213000},"page":"417-422","source":"Crossref","is-referenced-by-count":10,"title":["Reliability assessment of safety-relevant automotive systems in a model-based design flow"],"prefix":"10.1109","author":[{"given":"S.","family":"Reiter","sequence":"first","affiliation":[]},{"given":"M.","family":"Pressler","sequence":"additional","affiliation":[]},{"given":"A.","family":"Viehl","sequence":"additional","affiliation":[]},{"given":"O.","family":"Bringmann","sequence":"additional","affiliation":[]},{"given":"W.","family":"Rosenstiel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1879013"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.34"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364643"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2007.4341528"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2009.22"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837333"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2005.32"},{"key":"3","first-page":"11","author":"avizienis","year":"2004","journal-title":"Basic Concepts Taxonomy of Dependable Secure Computing"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICVES.2010.5550952"},{"journal-title":"FlexRay Communications System Protocol Specification Version 3 0 Revision A","year":"2010","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASC-ICSC.2008.4675446"},{"key":"5","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/DSD.2008.35","article-title":"Fault models and injection strategies in systemc specifications","author":"bolchini","year":"2008","journal-title":"Digital System Design Architectures Methods and Tools 2008 DSD '08 11th EUROMICRO Conference on"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2011.25"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150990"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.34"}],"event":{"name":"2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC 2013)","start":{"date-parts":[[2013,1,22]]},"location":"Yokohama","end":{"date-parts":[[2013,1,25]]}},"container-title":["2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6507004\/6509548\/06509632.pdf?arnumber=6509632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T12:31:17Z","timestamp":1498048277000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6509632\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2013.6509632","relation":{},"subject":[],"published":{"date-parts":[[2013,1]]}}}