{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:10:29Z","timestamp":1764936629909},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_1","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T11:02:42Z","timestamp":1346929362000},"page":"1-12","source":"Crossref","is-referenced-by-count":23,"title":["A Lightweight Methodology for Safety Case Assembly"],"prefix":"10.1007","author":[{"given":"Ewen","family":"Denney","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Pai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Basir, N., Denney, E., Fischer, B.: Deriving safety cases for hierarchical structure in model-based development. In: 29th Intl. Conf. Comp. Safety, Reliability and Security (2010)","DOI":"10.1007\/978-3-642-15651-9_6"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Proc. 6th Safety-Critical Sys. Symp. (February 1998)","DOI":"10.1007\/978-1-4471-1534-2_14"},{"key":"1_CR3","unstructured":"Davis, K.D.: Unmanned Aircraft Systems Operations in the U.S. National Airspace System. FAA Interim Operational Approval Guidance 08-01 (March 2008)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Denney, E., Habli, I., Pai, G.: Perspectives on Software Safety Case Development for Unmanned Aircraft. In: Proc. 42nd Annual IEEE\/IFIP Intl. Conf. on Dependable Sys. and Networks (June 2012)","DOI":"10.1109\/DSN.2012.6263939"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Habli, I.: Towards measurement of confidence in safety cases. In: Proc. 5th Intl. Symp. on Empirical Soft. Eng. and Measurement, pp. 380\u2013383 (September 2011)","DOI":"10.1109\/ESEM.2011.53"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Pohl, J.: Heterogeneous aviation safety cases: Integrating the formal and the non-formal. In: Proc. 17th IEEE Intl. Conf. Engineering of Complex Computer Systems (July 2012)","DOI":"10.1109\/ICECCS20050.2012.6299215"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.ress.2011.09.007","volume":"98","author":"I. Dodd","year":"2012","unstructured":"Dodd, I., Habli, I.: Safety certification of airborne software: An empirical study. Reliability Eng. and Sys. Safety.\u00a098(1), 7\u201323 (2012)","journal-title":"Reliability Eng. and Sys. Safety."},{"key":"1_CR8","unstructured":"Goal Structuring Notation Working Group: GSN Community Standard Version 1 (November 2011), http:\/\/www.goalstructuringnotation.info\/"},{"key":"1_CR9","unstructured":"Goodenough, J.B., Barry, M.R.: Evaluating Hazard Mitigations with Dependability Cases. White Paper (April 2009), http:\/\/www.sei.cmu.edu\/library\/abstracts\/whitepapers\/dependabilitycase_hazardmitigation.cfm\/"},{"key":"1_CR10","unstructured":"International Organization for Standardization (ISO): Road Vehicles-Functional Safety. ISO Standard 26262 (2011)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Kelly, T.: A systematic approach to safety case management. In: Proc. Society of Automotive Engineers (SAE) World Congress (March 2004)","DOI":"10.4271\/2004-01-1779"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Kelly, T., McDermid, J.: Safety case patterns \u2013 reusing successful arguments. In: Proc. IEE Colloq. on Understanding Patterns and Their Application to Sys. Eng. (1998)","DOI":"10.1049\/ic:19980543"},{"key":"1_CR13","unstructured":"NASA Aircraft Management Division: NPR 7900.3C, Aircraft Operations Management Manual. NASA (July 2011)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Rushby, J.: New challenges in certification for aircraft software. In: Proc. 11th Intl. Conf. on Embedded Soft, pp. 211\u2013218 (October 2011)","DOI":"10.1145\/2038642.2038675"},{"key":"1_CR15","unstructured":"Scolese, C.J.: NASA Systems Engineering Processes and Requirements. NASA Procedural Requirements NPR 7123.1A (March 2007)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33678-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T04:20:38Z","timestamp":1594614038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}