{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:37:34Z","timestamp":1769747854733,"version":"3.49.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319454764","type":"print"},{"value":"9783319454771","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45477-1_5","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:34:41Z","timestamp":1472880881000},"page":"51-63","source":"Crossref","is-referenced-by-count":7,"title":["Composition of Safety Argument Patterns"],"prefix":"10.1007","author":[{"given":"Ewen","family":"Denney","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh","family":"Pai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Berthold, R., Denney, E., Fladeland, M., Pai, G., Storms, B., Sumich, M.: Assuring ground-based detect and avoid for UAS operations. In: 33rd IEEE\/AIAA Digital Avionics Systems Conference (DASC 2015), pp. 6A1-1\u20136A1-16, October 2014","DOI":"10.1109\/DASC.2014.6979492"},{"key":"5_CR2","unstructured":"Federal Aviation Administration (FAA): Flight Standards Information Management System, vol. 16, Unmanned Aircraft Systems. Order 8900.1, June 2014"},{"key":"5_CR3","unstructured":"Denney, E., Pai, G.: A methodology for the development of assurance arguments for unmanned aircraft systems. In: 33rd International System Safety Conference (ISSC 2015), August 2015"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 8\u201321. Springer, Heidelberg (2012)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-642-40793-2_3","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2013","unstructured":"Denney, E., Pai, G.: A formal basis for safety case patterns. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP. LNCS, vol. 8153, pp. 21\u201332. Springer, Heidelberg (2013)"},{"key":"5_CR6","unstructured":"Goal Structuring Notation Working Group: GSN Community Standard Version 1. http:\/\/www.goalstructuringnotation.info\/"},{"key":"5_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"BC Pierce","year":"1991","unstructured":"Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)"},{"key":"5_CR8","unstructured":"Kelly, T.: Concepts and principles of compositional safety case construction. Technical report COMSA\/2001\/1\/1, University of York (2001)"},{"key":"5_CR9","unstructured":"Hawkins, R., Kelly, T.: A systematic approach for developing software safety arguments. In: 27th International System Safety Conference (ISSC 2009) (2009)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., Netkachova, K.: Building blocks for assurance cases. In: 2014 IEEE ISSRE Workshops, (ISSREW), pp. 186\u2013191, November 2014","DOI":"10.1109\/ISSREW.2014.72"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Whiteside, I.: Formal foundations for hierarchical safety cases. In: 16th IEEE International Symposium High Assurance Systems Engineering (HASE 2015), pp. 52\u201359, January 2015","DOI":"10.1109\/HASE.2015.17"},{"key":"5_CR12","unstructured":"Walton, D., Reed, C.: Argumentation schemes and defeasible inferences. In: Workshop on Computational Models of Natural Argument, 15th European Conference on Artificial Intelligence, pp. 11\u201320 (2002)"},{"key":"5_CR13","unstructured":"Industrial Avionics Working Group: Modular Software Safety Case Process GSN - MSSC 203 Issue 1, November 2012"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45477-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T16:40:34Z","timestamp":1749573634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45477-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454764","9783319454771"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45477-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}