{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T00:15:45Z","timestamp":1756167345548,"version":"3.44.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"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":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489706","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-4","source":"Crossref","is-referenced-by-count":3,"title":["Better, faster, cheaper, and safer too \u2014 Is this really possible?"],"prefix":"10.1109","author":[{"given":"Iain","family":"Bate","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of York, York, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[{"name":"Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sasikumar","family":"Punnekkat","sequence":"additional","affiliation":[{"name":"Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1996","author":"storey","journal-title":"Safety-Critical Computer Systems","key":"13"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/ISSNIP.2011.6146513"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1002\/stvr.294"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/SEAA.2011.50"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1016\/S0951-8320(03)00094-2"},{"year":"0","journal-title":"Profisafe Networked Safety for Process and Factory Automation","key":"1"},{"year":"2003","author":"kesseler","journal-title":"Air Transport from Privilege to Commodity A COTS Enabled Paradigm Shift","key":"10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/SPLINE.2007.37"},{"year":"2009","author":"habli","journal-title":"Model-Based Assurance of Safety-Critical Product Lines","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1093\/logcom\/exm030"},{"key":"4","article-title":"Formal certification of aerospace embedded software","author":"cleaveland","year":"2006","journal-title":"National Workshop on Aviation Software Systems Design for Certifiably Dependable Systems"},{"key":"9","article-title":"Building a preliminary safety case: An example from aerospace","author":"kelly","year":"1997","journal-title":"Australian Workshop on Industrial Experience with Safety Critical Systems and Software"},{"year":"1999","author":"kelly","journal-title":"Arguing Safety - A Systematic Approach to Safety Case Management","key":"8"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","start":{"date-parts":[[2012,9,17]]},"location":"Krakow, Poland","end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489706.pdf?arnumber=6489706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:18:18Z","timestamp":1756153098000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6489706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489706","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}