{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T23:10:03Z","timestamp":1738883403173,"version":"3.37.0"},"publisher-location":"London","reference-count":15,"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_8","type":"book-chapter","created":{"date-parts":[[2009,1,12]],"date-time":"2009-01-12T14:36:14Z","timestamp":1231770974000},"page":"135-145","source":"Crossref","is-referenced-by-count":1,"title":["Professional Issues in System Safety Engineering"],"prefix":"10.1007","author":[{"given":"John","family":"McDermid","sequence":"first","affiliation":[]},{"given":"Martyn","family":"Thomas","sequence":"additional","affiliation":[]},{"given":"Felix","family":"Redmill","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Amey P (2002) Correctness by construction: better can also be cheaper. CrossTalk Magazine, The Journal of Defence Software Engineering. http:\/\/www.praxis-his.com\/pdfs\/ c_by_c_better_cheaper.pdf. Accessed 9 October 2008"},{"key":"8_CR2","unstructured":"ATSB (2007) In-flight upset event 240 km north-west of Perth, WA. ATSB Transport Safety Investigation Report: Aviation Occurrence Report \u2013 200503722. Boeing Company 777-200, 9M-MRG, 1 August 2005 Professional Issues in System Safety Engineering 145"},{"key":"8_CR3","unstructured":"CAA (2000) Regulatory Objectives for Software Safety Assurance in ATS Equipment (SW01). Civil Aviation Publication (CAP) 670 Part B, Section 3. Civil Aviation Authority"},{"key":"8_CR4","unstructured":"RTCA, EUROCAE (1992) DO-178B \/ ED-12B \u2013 Software Considerations in Airborne Systems and Equipment Certification. Prepared by RTCA SC-167 and EUROCAE WG-12"},{"key":"8_CR5","volume-title":"Proceedings of the Ninth Safety-Critical Systems Symposium","author":"A German","year":"2001","unstructured":"German A, Mooney G (2001) Air Vehicle Software Static Code Analysis \u2013 Lessons Learnt. In: Redmill F, Anderson T (eds) Proceedings of the Ninth Safety-Critical Systems Symposium. Springer-Verlag, Bristol, United Kingdom"},{"key":"8_CR6","volume-title":"Resilience Engineering \u2013 Concepts and Precepts","author":"E Hollnagel","year":"2006","unstructured":"Hollnagel E, Woods D, Leveson N (2006) Resilience Engineering \u2013 Concepts and Precepts. Ashgate, Aldershot, UK"},{"volume-title":"Software For Dependable Systems: Sufficient Evidence? Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies","year":"2007","key":"8_CR7","unstructured":"Jackson D, Thomas M, Millett L (eds) (2007) Software For Dependable Systems: Sufficient Evidence? Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies. The National Academies Press, Washington DC. http:\/\/books.nap.edu\/openbook.php?isbn=0309103940. Accessed 9 October 2008"},{"key":"8_CR8","unstructured":"Jackson M (1996) Software Requirements and Specifications. Addison-Wesley and ACM Press"},{"key":"8_CR9","volume-title":"Problem Frames: Analysing and Structuring Software Development Problems","author":"M Jackson","year":"2001","unstructured":"Jackson M (2001) Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley, Boston, Massachusetts"},{"key":"8_CR10","unstructured":"IEC (1998-2000) IEC 61508: Functional safety of electrical \/ electronic \/ programmable electronic safety-related systems (E\/E\/PES). International Electrotechnical Committee, Geneva"},{"key":"8_CR11","unstructured":"Ladkin (1996) Report on the Accident to A320-211 Aircraft in Warsaw on 14 September 1993. Main Commission Aircraft Accidents Investigation, Warsaw. Translated by Peter Ladkin. http:\/\/www.rvs.uni-bielefeld.de\/publications\/Incidents\/DOCS\/ComAndRep\/Warsaw\/warsawreport. html. Accessed 9 October 2008"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"MoD (2004) Ministry of Defence Standard 00-56 Issue 3: Safety Management Requirements for Defence Systems. MoD","DOI":"10.1049\/ic:20050407"},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/2.566148","volume":"30","author":"SL Pfleeger","year":"1997","unstructured":"Pfleeger SL, Hatton L (1997) Investigating the Influence of Formal Methods. IEEE Computer 30:33-42","journal-title":"IEEE Computer"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/j.ssci.2003.09.005","volume":"42","author":"F Redmill","year":"2004","unstructured":"Redmill F (2004) Analysis of the COTS Debate. Safety Science 42:355-367","journal-title":"Safety Science"},{"key":"8_CR15","unstructured":"USNRC (2007) Fact Sheet on the Three Mile Island Accident. http:\/\/www.nrc.gov\/reading-rm\/ doc-collections\/fact-sheets\/3mile-isle.html. Accessed 9 October 2008"}],"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_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T22:38:17Z","timestamp":1738881497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-349-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781848823488","9781848823495"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-349-5_8","relation":{},"subject":[]}}