{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:31:32Z","timestamp":1725550292807},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292005"},{"type":"electronic","value":"9783540320005"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11563228_4","type":"book-chapter","created":{"date-parts":[[2005,10,8]],"date-time":"2005-10-08T13:11:49Z","timestamp":1128777109000},"page":"37-51","source":"Crossref","is-referenced-by-count":8,"title":["Defining and Decomposing Safety Policy for Systems of Systems"],"prefix":"10.1007","author":[{"given":"Martin","family":"Hall-May","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"German Federal Bureau of Aircraft Accidents Investigation: Investigation report AX001-1-2\/02 (2004)"},{"key":"4_CR2","unstructured":"Hall-May, M., Kelly, T.P.: Planes, trains and automobiles \u2014 an investigation into safety policy for systems of systems. In: To appear in Proceedings of the 23rd International System Safety Conference (2005)"},{"key":"4_CR3","unstructured":"Kelly, T.P.: Arguing Safety\u2014A Systematic Approach to Managing Safety Cases. DPhil thesis, University of York, Heslington, York, YO10 5DD, UK (1998)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the 4th ACM Symposium on the Foundation of Software Engineering, San Francisco, California, USA, pp. 179\u2013190 (1996)","DOI":"10.1145\/239098.239131"},{"key":"4_CR5","series-title":"ENTCS","volume-title":"Proceedings of the REFINE 2005 Workshop","author":"F. Polack","year":"2005","unstructured":"Polack, F., Stepney, S.: Emergent properties do not refine. In: Proceedings of the REFINE 2005 Workshop, Guildford, UK. ENTCS. Elsevier, Amsterdam (2005)"},{"key":"4_CR6","volume-title":"Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997)","author":"T.P. Kelly","year":"1997","unstructured":"Kelly, T.P., McDermid, J.A.: Safety case construction and reuse using patterns. In: Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997), York, UK. Springer, Heidelberg (1997)"},{"key":"4_CR7","unstructured":"Darimont, R.: Process Support for Requirements Elaboration. PhD thesis, Universit\u00e9 catholique de Louvain, D\u00e9pt. Ing\u00e9nierie Informatique, Louvain-la-Neuve, Belgium (1995)"},{"key":"4_CR8","unstructured":"Allan, R. (ed.): Air Navigation: The Order and the Regulations, 3rd edn. Civil Aviation Authority (2003)"},{"key":"4_CR9","unstructured":"Boyd, J.R.: A discourse on winning and losing. Unpublished briefing, Air University Library, Maxwell AFB, Alabama, Report No. MU43947 (1987)"},{"key":"4_CR10","unstructured":"Weaver, R.A.: The Safety of Software \u2014 Constructing and Assuring Arguments. PhD thesis, University of York, Heslington, York, YO10 5DD, UK (2003)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/3-540-48249-0_2","volume-title":"Computer Safety, Reliability and Security","author":"T.P. Kelly","year":"1999","unstructured":"Kelly, T.P., McDermid, J.A.: A systematic approach to safety case maintenance. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 13\u201326. Springer, Heidelberg (1999)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-30138-7_2","volume-title":"Computer Safety, Reliability, and Security","author":"J. Armstrong","year":"2004","unstructured":"Armstrong, J., Paynter, S.: The deconstruction of safety arguments through adversarial counter-argument. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 3\u201316. Springer, Heidelberg (2004)"},{"key":"4_CR13","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: Ponder: A language for specifying security and management policies for distributed systems. Research Report DoC 2000\/1, Imperial College, London (2000), \n                  \n                    http:\/\/www.doc.ic.ac.uk\/deptechrep\/DTR00-1.pdf"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/IWSM.1993.315293","volume-title":"Proceedings of the 1st IEEE International Workshop on Systems Management","author":"M.J. Masullo","year":"1993","unstructured":"Masullo, M.J., Calo, S.B.: Policy management: An architecture and approach. In: Proceedings of the 1st IEEE International Workshop on Systems Management, Los Angeles, California, USA, pp. 13\u201326. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/IWSM.1996.534147","volume-title":"Proceedings of the 2nd International Workshop on Systems Management","author":"T. Koch","year":"1996","unstructured":"Koch, T., Krell, C., Kr\u00e4mer, B.: Policy definition language for automated management of distributed systems. In: Proceedings of the 2nd International Workshop on Systems Management, Toronto, Canada, pp. 55\u201364. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"4_CR16","first-page":"44","volume-title":"Proceedings of the IFIP\/IEEE International Symposium on Integrated Network Management","author":"R. Wies","year":"1995","unstructured":"Wies, R.: Using a classification of management policies for policy specification and policy transformation. In: Proceedings of the IFIP\/IEEE International Symposium on Integrated Network Management, Santa Barbara, California, USA, vol.\u00a04, pp. 44\u201356. Chapman and Hall, Boca Raton (1995)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems\u00a08, 203\u2013236 (2004)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/32.825764","volume":"26","author":"N.G. Leveson","year":"2000","unstructured":"Leveson, N.G.: Intent specifications: An approach to building human-centered specifications. IEEE Transactions on Software Engineering\u00a026, 15\u201335 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR19","unstructured":"Alexander, R., Hall-May, M., Despotou, G., Kelly, T.: Towards using simulation to evaluate safety policy for systems of systems. In: To appear in Proceedings of the 2nd International Workshop on Safety and Security in Multi-Agent Systems, SASEMAS 2005 (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11563228_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:45Z","timestamp":1619507685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11563228_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292005","9783540320005"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11563228_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}