{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T21:59:32Z","timestamp":1780437572799,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662449936","type":"print"},{"value":"9783662449943","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44994-3_4","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T13:11:23Z","timestamp":1417439483000},"page":"66-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An Agent-Based Approach for Accident Analysis in Safety Critical Domains: A Case Study on a Runway Incursion Incident"],"prefix":"10.1007","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nataliya M.","family":"Mogles","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,11,23]]},"reference":[{"key":"4_CR1","first-page":"463","volume-title":"Air Transport Systems Engineering","author":"HAP Blom","year":"2001","unstructured":"Blom, H.A.P., Bakker, G.J., Blanker, P.J.G., Daams, J., Everdij, M.H.C., Klompstra, M.B.: Accident risk assessment for advanced air traffic management. In: Donohue, G.L., Zellweger, A.G. (eds.) Air Transport Systems Engineering, pp. 463\u2013480. AIAA, Washington, D.C. (2001)"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0218843009001987","volume":"18","author":"T Bosse","year":"2009","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and verification of dynamics in agent models. Int. J. Coop. Inf. Syst. 18(1), 167\u2013193 (2009)","journal-title":"Int. J. Coop. Inf. Syst."},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1142\/S0218213007003357","volume":"16","author":"T Bosse","year":"2007","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: A language and environment for analysis of dynamics by simulation. Int. J. Artif. Intell. Tools 16(3), 435\u2013464 (2007)","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-31087-4_39","volume-title":"Advanced Research in Applied Artificial Intelligence","author":"T Bosse","year":"2012","unstructured":"Bosse, T., Mogles, N.M.: Formal analysis of aviation incidents. In: Jiang, H., Ding, W., Ali, M., Wu, X. (eds.) IEA\/AIE 2012. LNCS, vol. 7345, pp. 371\u2013380. Springer, Heidelberg (2012)"},{"key":"4_CR5","unstructured":"Bosse, T., Treur, J., Mogles, N.M., Stroeve, S.H., Blom, H.A.P., Sharpanskykh, A.: Model constructs validation. SESAR Joint Undertaking. Technical report E.02.10-MAREA-D3.1 (2013)"},{"key":"4_CR6","unstructured":"Everdij, M.H.C.: Review of techniques to support the EATMP safety assessment methodology. Report for EEC Safety Methods Survey Project, volume I and II (2004)"},{"key":"4_CR7","volume-title":"Barriers and Accident Prevention","author":"E Hollnagel","year":"2004","unstructured":"Hollnagel, E.: Barriers and Accident Prevention. Ashgate, Aldershot (2004)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"NR Jennings","year":"2000","unstructured":"Jennings, N.R.: On agent-based software engineering. Artif. Intell. 117, 277\u2013296 (2000)","journal-title":"Artif. Intell."},{"key":"4_CR9","unstructured":"de Jong, H.H., Blom, H.A.P., Stroeve, S.H.: How to identify unimaginable hazards? In: 25th International System Safety Conference (ISSC 2007), Baltimore, USA (2007)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1142\/S0218843002000480","volume":"11","author":"C Jonker","year":"2002","unstructured":"Jonker, C., Treur, J.: Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. Int. J. Coop. Inf. Syst. 11, 51\u201392 (2002)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0925-7535(03)00047-X","volume":"42","author":"N Leveson","year":"2004","unstructured":"Leveson, N.: A new accident model for engineering safer systems. Saf. Sci. 42, 237\u2013270 (2004)","journal-title":"Saf. Sci."},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1037\/1089-2680.2.2.175","volume":"2","author":"RS Nickerson","year":"1998","unstructured":"Nickerson, R.S.: Confirmation bias: a ubiquitous phenomenon in many guises. Rev. Gen. Psychol. 2(2), 175\u2013220 (1998)","journal-title":"Rev. Gen. Psychol."},{"key":"4_CR13","unstructured":"Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Lesser, V. (ed.) Proceedings of the International Conference on Multiagent Systems, pp. 312\u2013319 (1995)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.ssci.2008.04.003","volume":"47","author":"SH Stroeve","year":"2009","unstructured":"Stroeve, S.H., Blom, H.A.P., Bakker, G.J.: Systemic accident risk assessment in air traffic by Monte Carlo simulation. Saf. Sci. 47, 238\u2013449 (2009)","journal-title":"Saf. Sci."},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1049\/ip-sen:19971026","volume":"144","author":"M Wooldridge","year":"1997","unstructured":"Wooldridge, M.: Agent-based software engineering. IEE Proc. Softw. Eng. 144(1), 26\u201337 (1997)","journal-title":"IEE Proc. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Collective Intelligence XVII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44994-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T01:00:03Z","timestamp":1676422803000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-44994-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662449936","9783662449943"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44994-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"23 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}