{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:15:36Z","timestamp":1725524136825},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848823488"},{"type":"electronic","value":"9781848823495"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-84882-349-5_6","type":"book-chapter","created":{"date-parts":[[2009,1,12]],"date-time":"2009-01-12T14:36:14Z","timestamp":1231770974000},"page":"95-115","source":"Crossref","is-referenced-by-count":0,"title":["Dependable Risk Analysis for Systems with E\/E\/PE Components: Two Case Studies"],"prefix":"10.1007","author":[{"given":"J\u00f6rn","family":"Stuphorn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Sieker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter B.","family":"Ladkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Note on Hazard and Operability Studies [HAZOP]","author":"RW Hazell","year":"2001","unstructured":"Hazell RW, McHattie GV, Wrightson I (2001) Note on Hazard and Operability Studies [HAZOP]. Royal Society of Chemistry, London"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Ladkin PB (2000) Causal Reasoning about Aircraft Accidents. In: Koornneef F, van der Meulen M (eds) Computer Safety, Reliability and Security, 19th international conference, SAFECOMP 2000. Springer Lecture Notes in Computer Science, 1943:344-360","DOI":"10.1007\/3-540-40891-6_30"},{"key":"6_CR3","unstructured":"Ladkin PB (2005) Ontological Analysis. Safety Systems 14(3) May 2005"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"PB Ladkin","year":"1995","unstructured":"Ladkin PB, Leue S (1995) Interpreting Message Flow Graphs. Formal Aspects of Computing 7:473\u2013509","journal-title":"Formal Aspects of Computing"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1109\/32.464544","volume":"SE-21","author":"L Lamport","year":"1995","unstructured":"Lamport L (1995) TLA in Pictures. IEEE Trans. Software Engineering SE-21:768-775","journal-title":"IEEE Trans. Software Engineering"},{"key":"6_CR6","unstructured":"Mackie JL (1974) The Cement of the Universe: A Study of Causation. Oxford University Press"},{"key":"6_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0823-8","volume-title":"System Safety: HAZOP and Software HAZOP","author":"F Redmill","year":"1999","unstructured":"Redmill F, Chudleigh M, Catmur J (1999) System Safety: HAZOP and Software HAZOP. John Wiley & Sons, Chichester"},{"key":"6_CR8","unstructured":"VDV (2004) Fahrdienstvorschrift f\u00fcr Nich-bundeseigene Eisenbahnen (FV-NE). Verband Deutscher Verkehrsunternehmen. Ausgabe 1984, Fassung 2004"}],"container-title":["Safety-Critical Systems: Problems, Process and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-349-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T20:02:10Z","timestamp":1605729730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-349-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781848823488","9781848823495"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-349-5_6","relation":{},"subject":[]}}