{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,19]],"date-time":"2026-09-19T04:04:58Z","timestamp":1789790698128,"version":"4.0.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032368485","type":"print"},{"value":"9783032368492","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T00:00:00Z","timestamp":1789862400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T00:00:00Z","timestamp":1789862400000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-36849-2_6","type":"book-chapter","created":{"date-parts":[[2026,9,19]],"date-time":"2026-09-19T03:48:59Z","timestamp":1789789739000},"page":"98-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Exploiting the\u00a0Layout of\u00a0a\u00a0Railway Interlocking System for\u00a0Path Reliability Evaluation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4648-4667","authenticated-orcid":false,"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8482-2612","authenticated-orcid":false,"given":"Gloria","family":"Gori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jacopo","family":"Zecchi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,9,20]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-40793-2_27","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2013","unstructured":"Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: A Tool for Efficient Fault Tree Analysis. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40793-2_27"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-030-59854-9_17","volume-title":"Quantitative Evaluation of Systems","author":"CE Budde","year":"2020","unstructured":"Budde, C.E., Ruijters, E., Stoelinga, M.: The Dynamic Fault Tree Rare Event Simulator. In: Gribaudo, M., Jansen, D.N., Remke, A. (eds.) QEST 2020. LNCS, vol. 12289, pp. 233\u2013238. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59854-9_17"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Carnevali, L., Cerboni, S., Montecchi, L., Vicario, E.: Faultflow: an MDE library for dependability evaluation of component-based systems. IEEE Trans. Dependable Sec. Comput. 1\u201318 (2025). https:\/\/doi.org\/10.1109\/TDSC.2025.3532340","DOI":"10.1109\/TDSC.2025.3532340"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Cerboni, S., Picano, B., Scommegna, L., Vicario, E.: An observation metamodel for dependability tools. In: 2024 19th European Dependable Computing Conference (EDCC), pp. 169\u2013172. IEEE (2024)","DOI":"10.1109\/EDCC61798.2024.00041"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Carnevali, L., et al.: Data-driven synthesis of stochastic fault trees for proactive maintenance of railway vehicles. In: International Conference on Formal Methods for Industrial Critical Systems, pp. 162\u2013181. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-032-00942-5_9","DOI":"10.1007\/978-3-032-00942-5_9"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Carnevali, L., Giandomenico, F.D., Fantechi, A., Gnesi, S., Gori, G.: Quantitative dependability evaluation of train control systems in presence of uncertainty: A systematic literature review. IEEE Trans. Intell. Transp. Syst. 26(4), 4298\u20134314 (2025). https:\/\/doi.org\/10.1109\/TITS.2025.3530112","DOI":"10.1109\/TITS.2025.3530112"},{"key":"6_CR7","unstructured":"CENELEC: EN 50126-1: Railway Applications \u2013 The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS Process (2017)"},{"key":"6_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2019.113139","volume":"146","author":"F Chiacchio","year":"2020","unstructured":"Chiacchio, F., Aizpurua, J.I., Compagno, L., D\u2019Urso, D.: SHyFTOO, an object-oriented monte carlo simulation library for the modeling of stochastic hybrid fault tree automaton. Expert Syst. Appl. 146, 113139 (2020)","journal-title":"Expert Syst. Appl."},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-49646-7_22","volume-title":"Computer Safety, Reliability and Security","author":"A Cimatti","year":"1998","unstructured":"Cimatti, A., Giunchiglia, F., Mongardi, G., Romano, D., Torielli, F., Traverso, P.: Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System. In: Ehrenberger, W. (ed.) SAFECOMP 1998. LNCS, vol. 1516, pp. 284\u2013293. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-49646-7_22"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Gori, G., Haxthausen, A.E.: Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection. In: ter Beek, M.H., Dutilleul, S.C., Lecomte, T. (eds.) Proceedings of the 6th International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail\u201925), Pisa, Italy, November 26\u201328, 2025. Lecture Notes in Computer Science, vol. 16236. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-032-10762-6_21","DOI":"10.1007\/978-3-032-10762-6_21"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Haxthausen, A.E., Fantechi, A., Gori, G., Petersen, S.A., Mikkelsen, \u00d3.K.: Scaling model checking of railway interlocking systems by safe automated decomposition. European Transport Research Review 18(1), 38 (2026). https:\/\/doi.org\/10.1186\/s12544-026-00798-1","DOI":"10.1186\/s12544-026-00798-1"},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Ferrari, A., Magnani, G., Grasso, D., Fantechi, A.: Model Checking Interlocking Control Tables. In: FORMS\/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 107\u2013115. Springer, Cham (2010). https:\/\/doi.org\/10.1007\/978-3-642-14261-1_11","DOI":"10.1007\/978-3-642-14261-1_11"},{"issue":"21","key":"6_CR13","doi-asserted-by":"publisher","first-page":"11397","DOI":"10.3390\/app152111397","volume":"15","author":"G Gori","year":"2025","unstructured":"Gori, G., Papini, M., Fantechi, A.: Efficient Reliability Block Diagram Evaluation Through Improved Algorithms and Parallel Computing. Appl. Sci. 15(21), 11397 (2025)","journal-title":"Appl. Sci."},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-12566-9_8","volume-title":"Foundations of Computer Software. Future Trends and Techniques for Development","author":"AE Haxthausen","year":"2010","unstructured":"Haxthausen, A.E., Le Bliguet, M., Kj\u00e6r, A.A.: Modelling and Verification of Relay Interlocking Systems. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol. 6028, pp. 141\u2013153. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12566-9_8"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Haxthausen, A.E., Fantechi, A., Gori, G.: Decomposing the verification of interlocking system. In: Haxthausen, A.E., Huang, W., Roggenbach, M. (eds.) Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 14165. https:\/\/doi.org\/10.1007\/978-3-031-40132-9_7","DOI":"10.1007\/978-3-031-40132-9_7"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Haxthausen, A.E., Fantechi, A., Gori, G., Mikkelsen, \u00d3.K., Petersen, S.: Automated compositional verification of interlocking systems. In: Milius, B., Dutilleul, S.C., Lecomte, T. (eds.) Proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail\u201923). Lecture Notes in Computer Science, vol. 14198, pp. 146\u2013164. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43366-5_9","DOI":"10.1007\/978-3-031-43366-5_9"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Haxthausen, A.E., Fantechi, A.: Compositional verification of railway interlocking systems. Form. Asp. Comput. 35(1) (2023). https:\/\/doi.org\/10.1145\/3549736","DOI":"10.1145\/3549736"},{"issue":"9","key":"6_CR18","doi-asserted-by":"publisher","first-page":"1221","DOI":"10.1080\/15732479.2019.1615964","volume":"15","author":"S Hidirov","year":"2019","unstructured":"Hidirov, S., Guler, H.: Reliability, availability and maintainability analyses for railway infrastructure management. Struct. Infrastruct. Eng. 15(9), 1221\u20131233 (2019)","journal-title":"Struct. Infrastruct. Eng."},{"key":"6_CR19","unstructured":"James, P., M\u00f6ller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Decomposing scheme plans to manage verification complexity. In: FORMS\/FORMAT 2014 - 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 210\u2013220. Institute for Traffic Safety and Automation Engineering, Technische Universit\u00e4t Braunschweig (2014)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-33951-1_10","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"C Limbr\u00e9e","year":"2016","unstructured":"Limbr\u00e9e, C., Cappart, Q., Pecheur, C., Tonetta, S.: Verification of Railway Interlocking - Compositional Approach with OCRA. In: Lecomte, T., Pinger, R., Romanovsky, A. (eds.) RSSRail 2016. LNCS, vol. 9707, pp. 134\u2013149. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33951-1_10"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.ress.2012.03.017","volume":"104","author":"M Macchi","year":"2012","unstructured":"Macchi, M., Garetti, M., Centrone, D., Fumagalli, L., Pavirani, G.P.: Maintenance management of railway infrastructures based on reliability analysis. Reliab. Eng. Syst. Safety 104, 71\u201383 (2012)","journal-title":"Reliab. Eng. Syst. Safety"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-47169-3_20","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"HD Macedo","year":"2016","unstructured":"Macedo, H.D., Fantechi, A., Haxthausen, A.E.: Compositional Verification of Multi-station Interlocking Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 279\u2013293. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_20"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-57288-8_11","volume-title":"NASA Formal Methods","author":"HD Macedo","year":"2017","unstructured":"Macedo, H.D., Fantechi, A., Haxthausen, A.E.: Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 146\u2013162. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_11"},{"issue":"3","key":"6_CR24","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1243\/09544089JPME242","volume":"223","author":"C Meier-Hirmer","year":"2009","unstructured":"Meier-Hirmer, C., Riboulet, G., Sourget, F., Roussignol, M.: Maintenance optimization for a system with a gamma deterioration process and intervention delay: application to track maintenance. Proc. Inst. Mech. Eng. Part O J. Risk Reliab. 223(3), 189\u2013198 (2009)","journal-title":"Proc. Inst. Mech. Eng. Part O J. Risk Reliab."},{"key":"6_CR25","unstructured":"Pachl, J.: Railway Operation and Control, VTD Rail Publishing (2002)"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"issue":"4","key":"6_CR27","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"KS Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.: SHARPE at the age of twenty two. ACM SIGMETRICS Perf. Eval. Rev. 36(4), 52\u201357 (2009)","journal-title":"ACM SIGMETRICS Perf. Eval. Rev."},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Volk, M., Sher, F., Katoen, J.P., Stoelinga, M.: SAFEST: Fault tree analysis via probabilistic model checking. In: Annual Reliability and Maintainability Symposium (RAMS), pp. 1\u20137. IEEE (2024)","DOI":"10.1109\/RAMS51492.2024.10457719"},{"key":"6_CR29","first-page":"200","volume-title":"FORMS\/FORMAT 2014\u201310th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","author":"LH Vu","year":"2014","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: A Domain-Specific Language for Railway Interlocking Systems. In: Schnieder, E., Tarnai, G. (eds.) FORMS\/FORMAT 2014\u201310th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 200\u2013209. Technische Universit\u00e4t Braunschweig, Institute for Traffic Safety and Automation Engineering (2014)"},{"issue":"3","key":"6_CR30","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10009-022-00652-4","volume":"24","author":"N Weik","year":"2022","unstructured":"Weik, N., Volk, M., Katoen, J.P., Nie\u00dfen, N.: DFT modeling approach for operational risk assessment of railway infrastructure. Int. J. Softw. Tools Technol. Transfer 24(3), 331\u2013350 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Winter, K.: Symbolic Model Checking for Interlocking Systems. In: Flammini, F. (ed.) Railway safety, reliability, and security: technologies and systems engineering, IGI Global (2012)","DOI":"10.4018\/978-1-4666-1643-1.ch013"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-36849-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,19]],"date-time":"2026-09-19T03:49:02Z","timestamp":1789789742000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-36849-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9,20]]},"ISBN":["9783032368485","9783032368492"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-36849-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,9,20]]},"assertion":[{"value":"20 September 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Liverpool","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/confest-2026.github.io\/fmics\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}