{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:00Z","timestamp":1725484080264},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411864"},{"type":"electronic","value":"9783540408918"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40891-6_36","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T20:01:38Z","timestamp":1180209698000},"page":"420-429","source":"Crossref","is-referenced-by-count":1,"title":["Forensic Software Engineering and the Need for New Approaches to Accident Investigation"],"prefix":"10.1007","author":[{"given":"Chris","family":"Johnson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"36_CR1","unstructured":"C.C. Lebow, L.P. Sarsfield, W.L. Stanley, E. Ettedgui and G. Henning, Safety in the Skies: Personnel and Parties in NTSB Accident Investigations. Rand Institute, Santa Monica, USA, 1999."},{"key":"36_CR2","unstructured":"N.G. Leveson, Safeware: System Safety and Computers, Addison Wesley, Reading Mass. 1995."},{"key":"36_CR3","unstructured":"J.L. Lyons, Report of the Inquiry Board into the Failure of Flight 501 of the Ariane 5 Rocket. European Space Agency Report, Paris, July 1996"},{"key":"36_CR4","unstructured":"South-West Thames Regional Health Authority. Report of the Inquiry Into The London Ambulance Service Computer-Assisted Despatch System (February 1993) Original ISBN No: 0 905133 70 6"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"C.W. Johnson, A First Step Toward the Integration of Accident Reports and Constructive Design Documents. In M. Felici, K. Kanoun and A. Pasquini (eds), Proc. of SAFECOMP\u201999, 286\u2013296, Springer Verlag, 1999.","DOI":"10.1007\/3-540-48249-0_25"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0951-8320(99)00066-6","volume":"672","author":"C.W. Johnson","year":"2000","unstructured":"C.W. Johnson, Proving Properties of Accidents, Reliability Engineering and Systems Safety, (67)2:175\u2013191, 2000.","journal-title":"Reliability Engineering and Systems Safety"},{"key":"36_CR7","unstructured":"J. Rushby, Using Model Checking to Help Discover Mode Confusions and Other Automation Surprises. In D. Javaux and V. de Keyser (eds.) Proc. of the 3rd Workshop on Human Error, Safety, and System Development, Liege, Belgium, 7\u20138 June 1999."},{"key":"36_CR8","unstructured":"A. Finkelstein, J. Kramer and B. Nuseibeh, Viewpoint Oriented Development: applications in composite systems. In F. Redmill and T. Anderson (eds.) Safety Critical Systems: Current Issues, Techniques and Standards, Chapman & Hall, 1993, 90\u2013101."},{"issue":"7","key":"36_CR9","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/52.300036","volume":"8","author":"N.G. Leveson","year":"1991","unstructured":"N.G. Leveson, S.S. Cha and T.J. Shimeall, Safety Verification of Ada Programs using Software Fault Trees, IEEE Software, 8(7):48\u201359, July 1991.","journal-title":"IEEE Software"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"P. Benyon-Davies, Human Error and Information Systems Failure: the Case of the London Ambulance Service Computer-Aided Despatch System Project. Interacting with Computers, (11)6:699\u2013720.","DOI":"10.1016\/S0953-5438(98)00050-2"},{"key":"36_CR11","unstructured":"J. Reason, Managing the Risks of Organizational Accidents, Ashgate, 1998."},{"key":"36_CR12","unstructured":"A. K. Lekburg, Different Approaches to Incident Investigation \u2014 How the Analyst Makes a Difference. In S. Smith and B. Lewis (eds), Proc. of the 15th International Systems Safety Conference, Washington DC, USA, August 1997."},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"N.G. Leveson, Intent Specifications: An Approach to Building Human-Centered Specifications. Accepted for IEEE Trans. on Software Engineering (2000).","DOI":"10.1109\/32.825764"},{"key":"36_CR14","series-title":"Lect Notes Comput Sci","volume-title":"SAFECOMP.99","author":"T.P. Kelly","year":"1998","unstructured":"T.P. Kelly and J.A. McDermid, A Systematic Approach to Safety-Case Maintenance, M. Felici, K. Kanoun and A. Pasquini (eds.) SAFECOMP.99, LNCS 1698, Springer Verlag, 1998."},{"issue":"5","key":"36_CR15","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/S0953-5438(98)00041-1","volume":"11","author":"C.W. Johnson","year":"1999","unstructured":"C.W. Johnson, Why Human Error Analysis Fails to Support Systems Development, Interacting with Computers, (11)5:517\u2013524, 1999.","journal-title":"Interacting with Computers"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40891-6_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:03:24Z","timestamp":1556435004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40891-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411864","9783540408918"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-40891-6_36","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}