{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:09:00Z","timestamp":1725617340270},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icat.2009.5348447","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T19:44:37Z","timestamp":1260474277000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Reliable software development methodology for safety related applications: From simulation to reliable source code"],"prefix":"10.1109","author":[{"given":"M. H.","family":"Schwarz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Sheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Batchuluun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Sheleh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Chaaban","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Borcsok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2004","author":"bo?rcso?k","journal-title":"Elektronic Safety Systems","key":"3"},{"year":"0","key":"2"},{"key":"10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1083190.1083192","article-title":"Overview of Existing Safeguarding Techniques for Automatically Generated Code","author":"stu?rmer","year":"2005","journal-title":"Proc of 2nd Intl ICSE Workshop on Software Engineering for Automotive Systems (SEAS'05)"},{"key":"1","article-title":"Einsatz von automatischer Code-Generierung fu?r die Entwicklung von sicherheitskritischer Software (Use of automatic code generation for the development of safety critical software)","author":"beine","year":"2004","journal-title":"Embedded World"},{"year":"1999","article-title":"International Organisation for standardization","key":"7"},{"year":"2000","article-title":"International Standard 61508 Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety Related Systems","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.2514\/6.2006-6257"},{"year":"0","author":"erkkinen","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1007\/s00450-005-0189-5"},{"year":"0","key":"8"},{"year":"0","author":"thate","key":"11"}],"event":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies. ICAT 2009","start":{"date-parts":[[2009,10,29]]},"location":"Bosnia","end":{"date-parts":[[2009,10,31]]}},"container-title":["2009 XXII International Symposium on Information, Communication and Automation Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340905\/5348395\/05348447.pdf?arnumber=5348447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T02:41:21Z","timestamp":1497840081000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5348447\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icat.2009.5348447","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}