{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T22:59:10Z","timestamp":1770332350472,"version":"3.49.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032107619","type":"print"},{"value":"9783032107626","type":"electronic"}],"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_4","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:08:12Z","timestamp":1763222892000},"page":"25-34","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["From Relay-Based Railway Interlocking Circuits to\u00a0Formal Specification: An AI-Driven Approach"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9698-5569","authenticated-orcid":false,"given":"Dalay","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Lo\u00efc","family":"Glemarec","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/BFb0020001","volume-title":"VDM \u201991 Formal Software Development Methods","author":"J-R Abrial","year":"1991","unstructured":"Abrial, J.-R., Lee, M.K.O., Neilson, D.S., Scharbach, P.N., S\u00f8rensen, I.H.: The B-method. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 552, pp. 398\u2013405. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0020001"},{"key":"4_CR2","unstructured":"Achiam, J., et\u00a0al.: Gpt-4 technical report. arXiv preprint arXiv:2303.08774 (2023)"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Almeida, D., Jamain, F., Lecomte, T.: Formal analysis and monitoring of legacy safety-critical interlocking systems with the use of certified industrial tools. In: International Conference on Formal Methods for Industrial Critical Systems, pp. 182\u2013198. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-68150-9_11","DOI":"10.1007\/978-3-031-68150-9_11"},{"key":"4_CR4","unstructured":"de\u00a0Almeida\u00a0Pereira, D.I.: Analysis and formal specification of relay-based railway interlocking systems. Ph.D. thesis, Centrale Lille Institut (2020)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-030-18744-6_16","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"DI de Almeida Pereira","year":"2019","unstructured":"de Almeida Pereira, D.I., Deharbe, D., Perin, M., Bon, P.: B-specification of relay-based railway interlocking systems based on the propositional logic of the system state evolution. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 242\u2013258. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-18744-6_16"},{"key":"4_CR6","unstructured":"Bezerra, P.E.R.: CSP Specification and Verification of a Relay-Based Rail Interlocking System. Master\u2019s thesis, Universidade Federal do Rio Grande do Norte (2023)"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Bezerra, P., Oliveira, M.V.M., Lecomte, T., de\u00a0Almeida\u00a0Pereira, D.I.: CSP specification and verification of a relay-based railway interlocking system. In: Brazilian Symposium on Formal Methods, pp. 36\u201354. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-49342-3_3","DOI":"10.1007\/978-3-031-49342-3_3"},{"key":"4_CR8","unstructured":"Bommasani, R., et\u00a0al.: On the opportunities and risks of foundation models. arXiv preprint arXiv:2108.07258 (2021)"},{"key":"4_CR9","first-page":"1877","volume":"33","author":"T Brown","year":"2020","unstructured":"Brown, T., et al.: Language models are few-shot learners. Adv. Neural. Inf. Process. Syst. 33, 1877\u20131901 (2020)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"13367","DOI":"10.1007\/s00521-021-05964-1","volume":"33","author":"M Dey","year":"2021","unstructured":"Dey, M., et al.: A two-stage cnn-based hand-drawn electrical and electronic circuit component recognition system. Neural Comput. Appl. 33, 13367\u201313390 (2021)","journal-title":"Neural Comput. Appl."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.neunet.2020.05.025","volume":"129","author":"E Elyan","year":"2020","unstructured":"Elyan, E., Jamieson, L., Ali-Gombe, A.: Deep learning for symbols detection and classification in engineering drawings. Neural Netw. 129, 91\u2013102 (2020)","journal-title":"Neural Netw."},{"key":"4_CR12","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"},{"issue":"8","key":"4_CR13","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"issue":"13","key":"4_CR14","doi-asserted-by":"publisher","first-page":"2593","DOI":"10.3390\/en12132593","volume":"12","author":"SO Kang","year":"2019","unstructured":"Kang, S.O., Lee, E.B., Baek, H.K.: A digitization and conversion tool for imaged drawings to intelligent piping and instrumentation diagrams (p &id). Energies 12(13), 2593 (2019)","journal-title":"Energies"},{"key":"4_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2021.115337","volume":"183","author":"H Kim","year":"2021","unstructured":"Kim, H.: Deep-learning-based recognition of symbols and texts at an industrially applicable level from images of high-density piping and instrumentation diagrams. Expert Syst. Appl. 183, 115337 (2021)","journal-title":"Expert Syst. Appl."},{"key":"4_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102524","volume":"199","author":"T Lecomte","year":"2020","unstructured":"Lecomte, T., Deharbe, D., Fournier, P., Oliveira, M.: The clearsy safety platform: 5 years of research, development and deployment. Sci. Comput. Program. 199, 102524 (2020)","journal-title":"Sci. Comput. Program."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Li, L., Yuhui, C., Xiaoting, L.: Engineering drawing recognition model with convolutional neural network. In: Proceedings of the 2019 International Conference on Robotics, Intelligent Control and Artificial Intelligence, pp. 112\u2013116 (2019)","DOI":"10.1145\/3366194.3366213"},{"issue":"9","key":"4_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3560815","volume":"55","author":"P Liu","year":"2023","unstructured":"Liu, P., Yuan, W., Fu, J., Jiang, Z., Hayashi, H., Neubig, G.: Pre-train, prompt, and predict: a systematic survey of prompting methods in natural language processing. ACM Comput. Surv. 55(9), 1\u201335 (2023)","journal-title":"ACM Comput. Surv."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Mani, S., Haddad, M.A., Constantini, D., Douhard, W., Li, Q., Poirier, L.: Automatic digitization of engineering diagrams using deep learning and graph search. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition Workshops, pp. 176\u2013177 (2020)","DOI":"10.1109\/CVPRW50498.2020.00096"},{"issue":"11","key":"4_CR20","doi-asserted-by":"publisher","first-page":"2298","DOI":"10.1109\/TPAMI.2016.2646371","volume":"39","author":"B Shi","year":"2016","unstructured":"Shi, B., Bai, X., Yao, C.: An end-to-end trainable neural network for image-based sequence recognition and its application to scene text recognition. IEEE Trans. Pattern Anal. Mach. Intell. 39(11), 2298\u20132304 (2016)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Stefenon, S.F., Cristoforetti, M., Cimatti, A.: Towards automatic digitalization of railway engineering schematics. In: International Conference of the Italian Association for Artificial Intelligence, pp. 453\u2013466. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-47546-7_31","DOI":"10.1007\/978-3-031-47546-7_31"},{"key":"4_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2025.127532","volume":"281","author":"SF Stefenon","year":"2025","unstructured":"Stefenon, S.F., Cristoforetti, M., Cimatti, A.: Automatic digitalization of railway interlocking systems engineering drawings based on hybrid machine learning methods. Expert Syst. Appl. 281, 127532 (2025)","journal-title":"Expert Syst. Appl."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Stefenon, S.F., Cristoforetti, M., Cimatti, A.: Conditional diffusion to enhance performance of object detection in unbalanced data engineering drawings. Neural Comput. Appl. 1\u201330 (2025)","DOI":"10.21203\/rs.3.rs-6204987\/v1"},{"key":"4_CR24","unstructured":"Theeg, G., Vlasenko, S., et\u00a0al.: Railway signalling & interlocking. Int. Compendium 448 (2009)"},{"key":"4_CR25","first-page":"24824","volume":"35","author":"J Wei","year":"2022","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. Adv. Neural. Inf. Process. Syst. 35, 24824\u201324837 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"issue":"23","key":"4_CR26","doi-asserted-by":"publisher","first-page":"4425","DOI":"10.3390\/en12234425","volume":"12","author":"ES Yu","year":"2019","unstructured":"Yu, E.S., Cha, J.M., Lee, T., Kim, J., Mun, D.: Features recognition from piping and instrumentation diagrams in image format using a deep learning network. Energies 12(23), 4425 (2019)","journal-title":"Energies"},{"issue":"11","key":"4_CR27","doi-asserted-by":"publisher","first-page":"4005","DOI":"10.3390\/app10114005","volume":"10","author":"DY Yun","year":"2020","unstructured":"Yun, D.Y., Seo, S.K., Zahid, U., Lee, C.J.: Deep neural network for automatic image recognition of engineering diagrams. Appl. Sci. 10(11), 4005 (2020)","journal-title":"Appl. Sci."}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:23:36Z","timestamp":1764865416000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10762-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032107619","9783032107626"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10762-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"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"}}]}}