{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:58:04Z","timestamp":1725613084977},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sies.2011.5953680","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T20:50:22Z","timestamp":1311195022000},"page":"59-62","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel"],"prefix":"10.1109","author":[{"given":"Dominik","family":"Sojer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alois","family":"Knoll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Buckl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"International Electrotechnical Commission 61508 functional safety of electrical\/electronic\/programmable electronic safety-related systems","year":"1998","key":"ref4"},{"key":"ref3","article-title":"Microcomputers in safety technique","author":"h\u00f6lscher","year":"1984","journal-title":"An aid to orientation for developer and manufacturer"},{"key":"ref6","first-page":"1684","article-title":"The SynDEx software environment for real-time distributed systems, design and implementation","author":"lavarenne","year":"1991","journal-title":"Proceedings of the European Control Conference"},{"journal-title":"International Organization for Standardization","year":"2009","key":"ref5"},{"journal-title":"Radio Technical Commission for Aeronautics","year":"1992","key":"ref8"},{"journal-title":"OMG Model Driven Architecture A Technical Perspective","year":"2001","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209927"},{"journal-title":"A uml profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software","year":"2006","author":"zoughbi","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2008.99"}],"event":{"name":"2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2011,6,15]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 6th IEEE International Symposium on Industrial and Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5937480\/5953643\/05953680.pdf?arnumber=5953680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T12:08:26Z","timestamp":1490098106000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5953680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/sies.2011.5953680","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}