{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:10:09Z","timestamp":1729674609971,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042514","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T20:57:26Z","timestamp":1318539446000},"page":"220-225","source":"Crossref","is-referenced-by-count":3,"title":["IACoB-SA: An approach towards integrated safety assessment"],"prefix":"10.1109","author":[{"given":"Septavera","family":"Sharvia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1044"},{"key":"ref3","article-title":"Review of relevant safety analysis techniques","author":"walker","year":"2008","journal-title":"Traffic Efficiency and Safety through Software Technology Phase 2 ATESST2 Report"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21393-9_14"},{"key":"ref6","article-title":"A new component concept for fault trees","volume":"33","author":"kaiser","year":"0","journal-title":"Proc 8th Australian Workshop on Safety Crucial Systems and Software"},{"journal-title":"Society of Automotive Engineering Warrendale PA Tech Rep","article-title":"Aerospace recommended practice: guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment","year":"1996","key":"ref11"},{"key":"ref5","first-page":"237","article-title":"PANDORA: The time of priority-AND gates","author":"walker","year":"0","journal-title":"Proc IFAC Symp Information and Control Problems in Manufacturing"},{"key":"ref8","first-page":"109","article-title":"The Altarica formalism for describing concurrent systems","volume":"34","author":"arnold","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/11424529_3","article-title":"Model-driven safety evaluation with state-event-based component failure annotation","volume":"3489","author":"grunskel","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"ref2","article-title":"Model-Based Safety Analysis","author":"joshi","year":"2006","journal-title":"University of Minnesota Advanced Technology Center"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10009-006-0001-2","article-title":"The FSAP\/NuSMV-SA safety analysis platform","volume":"9","author":"bozzano","year":"2006","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref1","article-title":"Formal Model-Based Development in Aerospace Systems: Challenges to Adoption","author":"heimdahl","year":"2007","journal-title":"University of Minnesota Software Engineering Center Critical Systems Research Group University of Minnesota"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042514.pdf?arnumber=6042514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:55:51Z","timestamp":1497945351000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042514\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042514","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}