{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:25:25Z","timestamp":1764865525902,"version":"3.46.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032107619"},{"type":"electronic","value":"9783032107626"}],"license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"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-10762-6_21","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:07:50Z","timestamp":1763222870000},"page":"267-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Compositional Model Checking of\u00a0Railway Interlocking Systems Featuring Flank Protection"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7349-8872","authenticated-orcid":false,"given":"Anne E.","family":"Haxthausen","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4648-4667","authenticated-orcid":false,"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8482-2612","authenticated-orcid":false,"given":"Gloria","family":"Gori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","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.D. (ed.) Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP\u201998, Heidelberg, Germany, 5\u20137 October 1998, Proceedings. LNCS, vol.\u00a01516, pp. 284\u2013295. Springer (1998). https:\/\/doi.org\/10.1007\/3-540-49646-7_22","DOI":"10.1007\/3-540-49646-7_22"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gori, G., Haxthausen, A.E., Limbr\u00e9e, C.: Compositional verification of railway interlockings: comparison of two methods. In: Dutilleul, S.C., Haxthausen, A.E., Lecomte, T. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Fifth International Conference, RSSRail 2022, Paris, France, 1\u20132 June 2022, Proceedings. LNCS, vol. 13294, pp. 3\u201319. Springer Nature Switzerland AG (2022)","DOI":"10.1007\/978-3-031-05814-1_1"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Haxthausen, A.E., Macedo, H.D.: Compositional verification of interlocking systems for large stations. In: Cimatti, A., Sirjani, M. (eds.) Software Engineering and Formal Methods - 15th International Conference on Software Engineering and Formal Methods, Trento, Italy, 4\u20138 September 2017. LNCS, vol. 10469, pp. 236\u2013252. Springer (2017)","DOI":"10.1007\/978-3-319-66197-1_15"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Magnani, G., Grasso, D., Fantechi, A.: Model checking interlocking control tables. In: FORMS\/FORMAT 2010 \u2013 Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 107\u2013115. Springer (2010)","DOI":"10.1007\/978-3-642-14261-1_11"},{"key":"21_CR5","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":"21_CR6","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.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, 10\u201312 October 2023, Proceedings. LNCS, vol. 14198, pp. 146\u2013164. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-43366-5_9","DOI":"10.1007\/978-3-031-43366-5_9"},{"key":"21_CR7","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"},{"key":"21_CR8","unstructured":"James, P., M\u00f6ller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Decomposing scheme plans to manage verification complexity. In: Schnieder, E., Tarnai, G. (eds.) FORMS\/FORMAT 2014\u201310th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 210\u2013220. Institute for Traffic Safety and Automation Engineering, Technische Univ. Braunschweig (2014)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"James, P., et al.: Verification of scheme plans using CSP$$|$$B. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) Software Engineering and Formal Methods, LNCS, vol.\u00a08368, pp. 189\u2013204. Springer (2014)","DOI":"10.1007\/978-3-319-05032-4_15"},{"key":"21_CR10","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":"21_CR11","unstructured":"Limbr\u00e9e, C., Pecheur, C.: A framework for the formal verification of networks of railway interlockings - application to the Belgian railway. Electr. Commun. Eur. Assoc. Study Sci. Technol. 76 (2018)"},{"key":"21_CR12","unstructured":"Limbr\u00e9e, C.: Formal verification of railway interlocking systems. Ph.D. thesis, UCL Louvain (2019)"},{"key":"21_CR13","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":"21_CR14","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"},{"key":"21_CR15","unstructured":"Pachl, J.: Railway Operation and Control. VTD Rail Publishing (2002)"},{"issue":"6","key":"21_CR16","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1007\/s00165-021-00551-6","volume":"33","author":"J Peleska","year":"2021","unstructured":"Peleska, J., Krafczyk, N., Haxthausen, A.E., Pinger, R.: Efficient data validation for geographical interlocking systems. Formal Aspects Comput. 33(6), 925\u2013955 (2021). https:\/\/doi.org\/10.1007\/s00165-021-00551-6","journal-title":"Formal Aspects Comput."},{"key":"21_CR17","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. Institute for Traffic Safety and Automation Engineering, Technische Universit\u00e4t Braunschweig (2014)"},{"key":"21_CR18","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: A domain-specific language for generic interlocking models and their properties. In: Fantechi, A., Lecomte, T., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, 14\u201316 November 2017, Proceedings. LNCS, vol. 10598, pp. 99\u2013115. Springer, Cham (2017)"},{"key":"21_CR19","unstructured":"Vu, L.H.: Formal Development and Verification of Railway Control Systems - In the context of ERTMS\/ETCS Level 2. Ph.D. thesis, Technical University of Denmark, DTU Compute (2015)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133, Part 2, 91\u2013115 (2017)","DOI":"10.1016\/j.scico.2016.05.010"},{"key":"21_CR21","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"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-34032-1_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"K Winter","year":"2012","unstructured":"Winter, K.: Optimising ordering strategies for symbolic model checking of railway interlockings. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7610, pp. 246\u2013260. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34032-1_24"}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10762-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:23:40Z","timestamp":1764865420000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10762-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032107619","9783032107626"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10762-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,16]]},"assertion":[{"value":"16 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RSSRail","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reliability, Safety, and Security of Railway Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"26 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rssrail2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rssrail2025.isti.cnr.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}