{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:27:53Z","timestamp":1725722873541},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642076534"},{"type":"electronic","value":"9783662049549"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-3-662-04954-9_11","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T23:31:36Z","timestamp":1366068696000},"page":"127-133","source":"Crossref","is-referenced-by-count":0,"title":["Dependability Then and Now: Commentary on Donald MacKenzie, \u201cA View from the Sonnenbichl\u201d"],"prefix":"10.1007","author":[{"given":"Victoria","family":"Stavridou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Dependability: Basic Concepts and Terminology","year":"1992","key":"11_CR1","unstructured":"Jean-Claude Laprie, ed., Dependability: Basic Concepts and Terminology (Wien, 1992)."},{"key":"11_CR2","first-page":"11","volume-title":"Proceedings of the Symposium on Security and Privacy","author":"J Goguen","year":"1982","unstructured":"Joseph A. Goguen and Jos\u00e9 Meseguer, \u201cSecurity Policies and Security Models,\u201d in Proceedings of the Symposium on Security and Privacy (Oakland, Calif., 1982), 11\u201320."},{"key":"11_CR3","volume-title":"Proceedings of 7th International Conference on Dependable Computing for Critical Applications","author":"B Dutertre","year":"1999","unstructured":"Bruno Dutertre and Victoria Stavridou, \u201cA Model of Noninterference for Integrating Mixed Criticality Software Components,\u201d in Proceedings of 7\n                \n                  th\n                \n                International Conference on Dependable Computing for Critical Applications (San Jose, Calif., January 1999)."},{"key":"11_CR4","volume-title":"Safe and Secure Computing Systems","author":"J Robert Taylor","year":"1989","unstructured":"J. Robert Taylor, \u201cVery High Reliability Computer Systems,\u201d in Safe and Secure Computing Systems, ed. Tom Anderson (Oxford, 1989)."},{"key":"11_CR5","volume-title":"How Did Software Get So Reliable Without Proof? Presentation to Awareness Club in Computer Assisted Reasoning","author":"CAR Hoare","year":"1994","unstructured":"C. A. R. Hoare, How Did Software Get So Reliable Without Proof? Presentation to Awareness Club in Computer Assisted Reasoning, Edinburgh, 21 March 1994."},{"key":"11_CR6","volume-title":"ARIANE 5 Flight 501 Failure, Report by the ESA Enquiry Board","author":"J-L Lions","year":"1996","unstructured":"Jacques-Louis Lions, ARIANE 5 Flight 501 Failure, Report by the ESA Enquiry Board, Paris, 19 July 1996."}],"container-title":["History of Computing: Software Issues"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-04954-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T05:29:30Z","timestamp":1557638970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-04954-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783642076534","9783662049549"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-04954-9_11","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}