{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:05Z","timestamp":1725484085895},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_30","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T20:01:38Z","timestamp":1180209698000},"page":"344-360","source":"Crossref","is-referenced-by-count":5,"title":["Causal Reasoning about Aircraft Accidents"],"prefix":"10.1007","author":[{"given":"Peter B.","family":"Ladkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"David Hume. An Enquiry Concerning Human Understanding.Oxford University Press, third edition, 1777\/1975. Ed.L.A. Selby-Bigge and P.H. Nidditch.","DOI":"10.1093\/oseo\/instance.00046350"},{"key":"30_CR2","series-title":"Technical Report","volume-title":"Notes on the foundations of system safety analysis","author":"P. B. Ladkin","year":"2000","unstructured":"Peter B. Ladkin. Notes on the foundations of system safety analysis. Technical Report RVS-Bk-00-01, Networks and distributed Systems Group, Faculty of Technology, Bielefeld University, Bielefeld, Germany, 2000. Available through [2]."},{"key":"30_CR3","series-title":"Technical Report","volume-title":"Why-Because Analysis: Formal Reasoning About Incidents","author":"P. B. Ladkin","year":"1998","unstructured":"Peter B. Ladkin and Karsten Loer. Why-Because Analysis: Formal Reasoning About Incidents.Technical Report RVS-Bk-98-01,Networks and distributed Systems Group, Faculty of Technology, Bielefeld University, Bielefeld, Germany, 1998. Available through [2]."},{"key":"30_CR4","unstructured":"Peter B. Ladkin et al. Computer-related incidents with commercial aircraft. Technical Report RVS-Comp-01, RVS Group, Faculty of Technology, University of Bielefeld. Compendium of digitised accident reports and commentary, available through [2]."},{"issue":"3","key":"30_CR5","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"30_CR6","unstructured":"Nancy G. Leveson. Safeware: System Safety and Computers.Addison-Wesley, 1995."},{"key":"30_CR7","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D. Lewis","year":"1973","unstructured":"David Lewis. Causation. Journal of Philosophy, 70:556\u2013567, 1973. Also in [10], [14].","journal-title":"Journal of Philosophy"},{"key":"30_CR8","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"David Lewis. Counterfactuals.Oxford University Press, Inc., Blackwell, 1973."},{"key":"30_CR9","volume-title":"Philosophical papers","author":"D. Lewis","year":"1986","unstructured":"David Lewis. Philosophical papers, Vol.II.Oxford University Press, Inc., 200 Maddison Avenue, New York, New York 10016, 1986."},{"key":"30_CR10","unstructured":"Main Commission Aircraft InvestigationWarsaw. Report on the Accident to Airbus A320-211 Aircraft in Warsaw on 14 September 1993.A vailable through [5], March 1994."},{"key":"30_CR11","volume-title":"Collected Works","author":"J. Mill Stuart","year":"1973","unstructured":"John Stuart Mill. A System of Logic, Books I-III, volume VII of Collected Works. University of Toronto Press, London: Routledge & Kegan Paul, 1973."},{"key":"30_CR12","unstructured":"Ministry of Planning, Housing, Transport and Maritime Affairs (France). Investigation Commission concerning the accidents which occurred on June 26th 1988 at Mulhouse-Habsheim (68) to the Airbus A320, registered F-GFKC.Final Report, November 29th 1989."},{"key":"30_CR13","unstructured":"Ernest Sosa and Michael Tooley, editors. Causation.Oxford Readings in Philosophy. Oxford University Press, Oxford, 1993."},{"key":"30_CR14","unstructured":"United States Air Force. Air Force Instruction 91-204.Author, July 1994."}],"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_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:03:30Z","timestamp":1556435010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40891-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411864","9783540408918"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-40891-6_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}