{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T17:00:50Z","timestamp":1784998850139,"version":"3.55.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032020178","type":"print"},{"value":"9783032020185","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-02018-5_31","type":"book-chapter","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T10:16:44Z","timestamp":1755771404000},"page":"423-436","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Analysis of\u00a0Resilience in\u00a0Transport Systems with\u00a0Bigraphs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9118-7402","authenticated-orcid":false,"given":"Susmoy","family":"Das","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1667-1683","authenticated-orcid":false,"given":"Ricardo","family":"Almeida","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3699-6658","authenticated-orcid":false,"given":"Blair","family":"Archibald","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6773-9481","authenticated-orcid":false,"given":"Michele","family":"Sevegnani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,8,22]]},"reference":[{"key":"31_CR1","unstructured":"AnyLogic Simulation Software. https:\/\/www.anylogic.com\/"},{"key":"31_CR2","unstructured":"iTwin Platform. https:\/\/www.bentley.com\/software\/itwin-platform\/"},{"key":"31_CR3","unstructured":"MATSim: Multi-Agent Transport Simulation. https:\/\/matsim.org\/"},{"key":"31_CR4","unstructured":"SUMO (simulation of Urban MObility). https:\/\/eclipse.dev\/sumo\/"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Albalwe, M., Archibald, B., Sevegnani, M.: Modelling real-time systems with bigraphs. Electron. Proc. Theoretic. Comput. Sci. 417, 96\u2013116 (2025). 10.4204\/EPTCS.417.6","DOI":"10.4204\/EPTCS.417.6"},{"issue":"2","key":"31_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3545180","volume":"34","author":"B Archibald","year":"2022","unstructured":"Archibald, B., Calder, M., Sevegnani, M.: Probabilistic Bigraphs. Formal Aspects Comput. 34(2), 1\u201327 (2022). https:\/\/doi.org\/10.1145\/3545180","journal-title":"Probabilistic Bigraphs. Formal Aspects Comput."},{"key":"31_CR7","unstructured":"Archibald, B., Calder, M., Sevegnani, M.: Practical modelling with bigraphs (2024). https:\/\/arxiv.org\/abs\/2405.20745"},{"key":"31_CR8","unstructured":"Archibald, B., Harvey, P., Sevegnani, M.: A digital twinning approach to decarbonisation: Research challenges. In: 1st International Workshop on Low Carbon Computing (2024)"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269\u2013276. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61474-5_75"},{"issue":"6","key":"31_CR10","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Software Eng. 29(6), 524\u2013541 (2003). https:\/\/doi.org\/10.1109\/TSE.2003.1205180","journal-title":"IEEE Trans. Software Eng."},{"key":"31_CR11","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"issue":"4","key":"31_CR12","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1109\/TSE.2007.36","volume":"33","author":"C Baier","year":"2007","unstructured":"Baier, C., Cloth, L., Haverkort, B.R., Kuntz, M., Siegle, M.: Model checking markov chains with actions and state labels. IEEE Trans. Software Eng. 33(4), 209\u2013224 (2007). https:\/\/doi.org\/10.1109\/TSE.2007.36","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"31_CR13","doi-asserted-by":"publisher","first-page":"471","DOI":"10.2514\/1.I010601","volume":"15","author":"MA Blooshi","year":"2018","unstructured":"Blooshi, M.A., Jafer, S., Patel, K.: Review of formal agile methods as cost-effective airworthiness certification processes. J. Aerospace Inform. Syst. 15(8), 471\u2013484 (2018). https:\/\/doi.org\/10.2514\/1.I010601","journal-title":"J. Aerospace Inform. Syst."},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Bogdoll, J., Ferrer\u00a0Fioriti, L.M., Hartmanns, A., Hermanns, H.: Partial order methods for statistical model checking and simulation. Lecture Notes Comput. Sci. (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6722 LNCS, 59 \u2013 74 (2011). 10.1007\/978-3-642-21461-5_4, cited by: 45","DOI":"10.1007\/978-3-642-21461-5_4"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Lanciani, R., Nenzi, L.: Model checking markov population models by stochastic approximations. Inf. Comput. 262, 189\u2013220 (2018). https:\/\/doi.org\/10.1016\/j.ic.2018.09.004","DOI":"10.1016\/j.ic.2018.09.004"},{"issue":"1","key":"31_CR16","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/TDSC.2017.2650901","volume":"16","author":"M Calder","year":"2019","unstructured":"Calder, M., Sevegnani, M.: Stochastic model checking for predicting component failures and service availability. IEEE Trans. Dependable Secure Comput. 16(1), 174\u2013187 (2019). https:\/\/doi.org\/10.1109\/TDSC.2017.2650901","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"El\u00a0Rabih, D., Pekergin, N.: Statistical model checking using perfect simulation. Lecture Notes Comput. Sci. (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5799 LNCS, 120 \u2013 134 (2009). 10.1007\/978-3-642-04761-9_11, cited by: 38","DOI":"10.1007\/978-3-642-04761-9_11"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Gigante, G., Pascarella, D.: Formal methods in avionic software certification: The do-178c perspective. Lecture Notes Comput. Sci. (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7610 LNCS(PART 2), 205\u2013215 (2012). 10.1007\/978-3-642-34032-1_21, cited by: 18","DOI":"10.1007\/978-3-642-34032-1_21"},{"key":"31_CR19","first-page":"189","volume-title":"Formal Approaches to Agent-Based Systems","author":"M Kacprzak","year":"2005","unstructured":"Kacprzak, M., Lomuscio, A., \u0141asica, T., Penczek, W., Szreter, M.: Verifying multi-agent systems via unbounded model checking. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) Formal Approaches to Agent-Based Systems, pp. 189\u2013212. Springer, Berlin Heidelberg, Berlin, Heidelberg (2005)"},{"key":"31_CR20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-07650-8_16","volume":"296","author":"C Kroi\u00df","year":"2014","unstructured":"Kroi\u00df, C.: Simulation and statistical model checking of logic-based multi-agent system models. Adv. Intell. Syst. Comput. 296, 151\u2013160 (2014). https:\/\/doi.org\/10.1007\/978-3-319-07650-8_16","journal-title":"Adv. Intell. Syst. Comput."},{"key":"31_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"31_CR22","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-319-23267-6_13","volume":"9272","author":"D Latella","year":"2015","unstructured":"Latella, D., Loreti, M., Massink, M.: On-the-fly fluid model checking via discrete time population models. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9272, 193\u2013207 (2015). https:\/\/doi.org\/10.1007\/978-3-319-23267-6_13","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Lopez, P.A., et al.: Microscopic traffic simulation using sumo. In: The 21st IEEE International Conference on Intelligent Transportation Systems. IEEE (2018). https:\/\/elib.dlr.de\/124092\/","DOI":"10.1109\/ITSC.2018.8569938"},{"issue":"5","key":"31_CR24","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s10009-018-0499-0","volume":"20","author":"R Mateescu","year":"2018","unstructured":"Mateescu, R., Requeno, J.I.: On-the-fly model checking for extended action-based probabilistic operators. Int. J. Softw. Tools Technol. Transfer 20(5), 563\u2013587 (2018). https:\/\/doi.org\/10.1007\/s10009-018-0499-0","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"31_CR25","doi-asserted-by":"crossref","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626661"},{"key":"31_CR26","doi-asserted-by":"crossref","unstructured":"Ort\u00fazar\u00a0S., J.d.D., Willumsen, L.G.: Modelling transport. Wiley-Blackwell, Oxford, 4th edn. (2011)","DOI":"10.1002\/9781119993308"},{"key":"31_CR27","unstructured":"Ritchie, H.: Cars, planes, trains: where do $$co_2$$ emissions from transport come from? Our World in Data (2020). https:\/\/ourworldindata.org\/co2-emissions-from-transport"},{"key":"31_CR28","doi-asserted-by":"publisher","unstructured":"Sevegnani, M., Calder, M.: Bigrapher: Rewriting and analysis engine for bigraphs. In: Chaudhuri, S., Farzan, A. (eds.) Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Lecture Notes in Computer Science, vol.\u00a09780, pp. 494\u2013501. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-41540-6_27","DOI":"10.1007\/978-3-319-41540-6_27"},{"key":"31_CR29","doi-asserted-by":"publisher","unstructured":"Sevegnani, M., Kabac, M., Calder, M., McCann, J.: Modelling and verification of large-scale sensor network infrastructures. In: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS). pp. 71\u201381 (2018). https:\/\/doi.org\/10.1109\/ICECCS2018.2018.00016","DOI":"10.1109\/ICECCS2018.2018.00016"},{"key":"31_CR30","doi-asserted-by":"crossref","unstructured":"W\u00a0Axhausen, K., Horni, A., Nagel, K.: The multi-agent transport simulation MATSim. Ubiquity Press (2016)","DOI":"10.5334\/baw"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-02018-5_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:05:30Z","timestamp":1784995530000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-02018-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,22]]},"ISBN":["9783032020178","9783032020185"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-02018-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,22]]},"assertion":[{"value":"22 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Stockholm","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp2025.se\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}