{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:06:05Z","timestamp":1760043965076},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846288050"},{"type":"electronic","value":"9781846288067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-84628-806-7_4","type":"book-chapter","created":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T18:48:29Z","timestamp":1204656509000},"page":"55-68","source":"Crossref","is-referenced-by-count":12,"title":["Achieving Integrated Process and Product Safety Arguments"],"prefix":"10.1007","author":[{"given":"Ibrahim","family":"Habli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Armstrong J and Paynter S (2004). The deconstruction of safety arguments through adversarial counter-argument. Proceedings of the Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Germany, September 21\u201324, 2004 (Lecture Notes in Computer Science 3219 Springer 2004)","DOI":"10.1007\/978-3-540-30138-7_2"},{"key":"4_CR2","unstructured":"Civil Aviation Authority (2003), SW01-Regulatory objective for software safety assurance in air traffic service equipment, CAP 670: air traffic services safety requirements, published by the UK Civil Aviation Authority, 12 June 2003"},{"key":"4_CR3","unstructured":"EUROCAE (1994). ED-12B\/DO-178B: Software considerations in airborne systems and equipment certification. EUROCAE, 1994"},{"key":"4_CR4","unstructured":"Caseley P, Tudor N and O\u2019Halloran C (2003). The case for an evidence based approach to software certification. Safety Standards Review Committee, UK Ministry of Defence, 2003"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Hall A (1990). Seven myths of formal methods. IEEE Software archive, Volume 7, Issue 5, 1990","DOI":"10.1109\/52.57887"},{"key":"4_CR6","volume-title":"Arguing safety \u2014 a systematic approach to safety case management","author":"T. P. Kelly","year":"1998","unstructured":"Kelly T P (1998). Arguing safety \u2014 a systematic approach to safety case management. DPhil Thesis, Department of Computer Science, University of York, UK, 1998"},{"key":"4_CR7","unstructured":"Kelly T P (2001). Concepts and principles of compositional safety cases. COMSA\/2001\/1\/1, Research report commissioned by QinetiQ, 2001"},{"key":"4_CR8","unstructured":"McDermid J A (2001). Software safety: where\u2019s the evidence?. Proceedings of the Sixth Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Australian Computer Society, 2001"},{"key":"4_CR9","first-page":"1","volume-title":"Proceedings of the Eighth Safety-Critical Systems Symposium","author":"F. Redmill","year":"2000","unstructured":"Redmill F (2000). Safety integrity levels \u2014 theory and problems, lessons in system safety. Proceedings of the Eighth Safety-Critical Systems Symposium, 1\u201320 Redmill F and Anderson A (eds), Southampton, UK, Springer Verlag, 2000"},{"key":"4_CR10","unstructured":"UK Ministry of Defence (2004). 00\u201356 Safety Management Requirements for Defence Systems, Part 1: Requirements, Issue 3. UK MoD, 2004"},{"key":"4_CR11","volume-title":"The safety of software \u2014 constructing and assuring arguments","author":"R. A. Weaver","year":"2003","unstructured":"Weaver R A (2003). The safety of software \u2014 constructing and assuring arguments. DPhil Thesis, Department of Computer Science, University of York, UK, 2003"}],"container-title":["The Safety of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-806-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T22:05:02Z","timestamp":1619906702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-806-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781846288050","9781846288067"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-806-7_4","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}