{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:12:31Z","timestamp":1760548351970},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457626"},{"type":"electronic","value":"9783540457633"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11875567_25","type":"book-chapter","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T09:25:27Z","timestamp":1158917127000},"page":"330-343","source":"Crossref","is-referenced-by-count":9,"title":["Using Agent-Based Modelling Approaches to Support the Development of 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":"25_CR1","unstructured":"Boyd, J.R.: A discourse on winning and losing. Unpublished briefing, Air University Library, Maxwell AFB, Alabama, Report No. MU43947 (1987)"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11563228_4","volume-title":"Computer Safety, Reliability, and Security","author":"M. Hall-May","year":"2005","unstructured":"Hall-May, M., Kelly, T.P.: Defining and decomposing safety policy for systems of systems. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 37\u201351. Springer, Heidelberg (2005)"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1046\/j.1524-4733.2001.45061.x","volume":"4","author":"M.C. Weinstein","year":"2001","unstructured":"Weinstein, M.C., Toy, E.L., Sandberg, E.A., Neumann, P.J., Evans, J.S., Kuntz, K.M., Graham, J.D., Hammitt, J.K.: Modeling for health care and other policy decisions: Uses, roles, and validity. Value Health\u00a04, 348\u2013361 (2001)","journal-title":"Value Health"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"DeLaurentis, D.A., Callaway, R.K.: A system-of-systems perspective for future public policy. Review of Policy Research 21 (2004)","DOI":"10.1111\/j.1541-1338.2004.00111.x"},{"key":"25_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-45448-9_22","volume-title":"Intelligent Agents VIII","author":"D.V. Pynadath","year":"2002","unstructured":"Pynadath, D.V., Tambe, M.: Revisiting asimov\u2019s first law: A response to the call to arms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 307\u2013320. Springer, Heidelberg (2002)"},{"key":"25_CR6","unstructured":"S\u00f8rby, K.: Relationship between security and safety in a security-safety critical system: Safety consequences of security threats. Masters thesis, Norges Teknisk-Naturvitenskapelige Universitet, Trondheim, Norway (2003)"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1142\/S0218194001000505","volume":"11","author":"F. Zambonelli","year":"2001","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Organizational rules as an abstraction for the analysis and design of multi-agent systems. Journal of Knowledge and Software Engineering\u00a011, 303\u2013328 (2001)","journal-title":"Journal of Knowledge and Software Engineering"},{"key":"25_CR8","unstructured":"Kelly, T.P.: Arguing Safety\u2014A Systematic Approach to Managing Safety Cases. D.Phil thesis, University of York, Heslington, York, YO10 5DD, UK (1998)"},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1080\/10429247.2003.11415214","volume":"15","author":"C. Keating","year":"2003","unstructured":"Keating, C., Rogers, R., Unal, R., Dryer, D., Sousa-Poza, A., Safford, R., Peterson, W., Rabadi, G.: System of systems engineering. Engineering Management Journal\u00a015, 36\u201345 (2003)","journal-title":"Engineering Management Journal"},{"key":"25_CR10","unstructured":"Caffall, D.S., Michael, J.B.: System-of-systems design from an object-oriented paradigm. In: Proceedings of the Monterey Workshop: Radical Innovations of Software and Systems Engineering in the Future, Venice, Italy, U.S. Army Research Office, pp. 146\u2013157 (2002)"},{"key":"25_CR11","volume-title":"Proceedings of 2nd AIAA \u201cUnmanned Unlimited\u201d Conference","author":"H. Pfaender","year":"2003","unstructured":"Pfaender, H., DeLaurentis, D., Mavris, D.: An object-oriented approach for conceptual design exploration of UAV-based system-of-systems. In: Proceedings of 2nd AIAA \u201cUnmanned Unlimited\u201d Conference, vol.\u00a06521. AIAA, San Diego (2003)"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent software systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 91\u2013103. Springer, Heidelberg (2001)"},{"key":"25_CR13","unstructured":"Cossentino, M., Potts, C.: PASSI: A process for specifying and implementing multi-agent systems using UML (2002)"},{"key":"25_CR14","volume-title":"Problem Frames","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames. Addison Wesley, Wokingham (2001)"},{"key":"25_CR15","unstructured":"Alexander, R., Hall-May, M., Despotou, G., Kelly, T.: Towards using simulation to evaluate safety policy for systems of systems. In: Proceedings of the 2nd International Workshop on Safety and Security in Multi-Agent Systems (SASEMAS 2005), Utrecht, The Netherlands, pp. 5\u201321 (2005)"},{"key":"25_CR16","unstructured":"Stephenson, A.: Mars climate orbiter mishap investigation board: Phase i report. Technical report, NASA (1999)"},{"key":"25_CR17","first-page":"97","volume-title":"Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management","author":"N. Guarino","year":"2000","unstructured":"Guarino, N., Welty, C.A.: A formal ontology of properties. In: Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management, pp. 97\u2013112. Springer, Heidelberg (2000)"},{"key":"25_CR18","first-page":"32","volume":"11","author":"R.V. Guha","year":"1990","unstructured":"Guha, R.V., Lenat, D.B.: Cyc: A midterm report. AI Magazine\u00a011, 32\u201359 (1990)","journal-title":"AI Magazine"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/505168.505170","volume-title":"Proceedings of the International Conference on Formal Ontology in Information Systems","author":"I. Niles","year":"2001","unstructured":"Niles, I., Pease, A.: Towards a standard upper ontology. In: Proceedings of the International Conference on Formal Ontology in Information Systems, pp. 2\u20139. ACM Press, New York (2001)"},{"key":"25_CR20","unstructured":"Swartout, B., Patil, R., Knight, K., Russ, T.: Toward distributed use of large-scale ontologies. In: Proceedings of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Alberta, Canada (1996)"},{"key":"25_CR21","unstructured":"Valente, A., Holmes, D., Alvidrez, F.C.: Using ontologies to build web service-based architecture for airspace systems. In: Proceedings of the 8th International Prot\u00e9g\u00e9 Conference (2005)"},{"key":"25_CR22","volume-title":"Normal Accidents: Living with High-Risk Technologies","author":"C. Perrow","year":"1999","unstructured":"Perrow, C.: Normal Accidents: Living with High-Risk Technologies. Princeton University Press, Princeton (1999)"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Leveson, N.G.: A new accident model for engineering safer systems. Safety Science 42 (2004)","DOI":"10.1016\/S0925-7535(03)00047-X"},{"key":"25_CR24","first-page":"233","volume-title":"Proceedings of the 8th conference on Theoretical Aspects of Rationality and Knowledge","author":"D. Koller","year":"2001","unstructured":"Koller, D., Milch, B.: Structured models for multi-agent interactions. In: Proceedings of the 8th conference on Theoretical Aspects of Rationality and Knowledge, Siena, Italy, pp. 233\u2013248. Morgan Kaufmann Publishers Inc., San Francisco (2001)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11875567_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:47:55Z","timestamp":1605624475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11875567_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457626","9783540457633"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11875567_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}