{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T23:12:27Z","timestamp":1770333147374,"version":"3.49.0"},"publisher-location":"Cham","reference-count":17,"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_17","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:08:19Z","timestamp":1763222899000},"page":"213-230","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated Semantic Validation of\u00a0Railway Signaling Data on\u00a0the\u00a0Basis of\u00a0Schematron"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-0675-2930","authenticated-orcid":false,"given":"Susanne","family":"Wunsch","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7662-132X","authenticated-orcid":false,"given":"Birgit","family":"Jaekel","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2748-9024","authenticated-orcid":false,"given":"Martin","family":"Lehnert","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Klaus","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4228-404X","authenticated-orcid":false,"given":"Jan","family":"Gruteser","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4595-1518","authenticated-orcid":false,"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","unstructured":"Badeau, F., Chappelin, J., Lamare, J.: Generating and verifying configuration data with OVADO. In: Proceedings RSSRail 2022, pp. 143\u2013148 (2022). https:\/\/doi.org\/10.1007\/978-3-031-05814-1_10","DOI":"10.1007\/978-3-031-05814-1_10"},{"key":"17_CR2","doi-asserted-by":"publisher","unstructured":"Banerjee, M., et al.: A Tool-chain for the verification of geographic scheme data. In: Milius, B., Collart-Dutilleul, S., Lecomte, T. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pp. 211\u2013224. Springer Nature Switzerland, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43366-5_13","DOI":"10.1007\/978-3-031-43366-5_13"},{"key":"17_CR3","doi-asserted-by":"publisher","unstructured":"Butler, M., K\u00f6rner, P., Krings, S., Lecomte, T., Leuschel, M., Mejia, L.-F., Voisin, L.: The first twenty-five years of industrial use of the B-Method. In: ter Beek, M.H., Ni\u010dkovi\u0107, D. (eds.) FMICS 2020. LNCS, vol. 12327, pp. 189\u2013209. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58298-2_8","DOI":"10.1007\/978-3-030-58298-2_8"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Dillmann, S., H\u00e4hnle, R.: SMT-based verification of railway plannings. In: Proceedings RSSRail (2025)","DOI":"10.1007\/978-3-032-10762-6_5"},{"key":"17_CR5","unstructured":"Data verification \u2013 AIXM, Website (2025). https:\/\/aixm.aero\/page\/data-verification, Accessed 11 Apr 2025"},{"key":"17_CR6","doi-asserted-by":"publisher","unstructured":"Gruteser, J., Leuschel, M.: Validation of railML Using ProB. In: Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19\u201321, 2024, Proceedings, pp. 245\u2013256. Springer-Verlag, Berlin, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-66456-4_13","DOI":"10.1007\/978-3-031-66456-4_13"},{"key":"17_CR7","doi-asserted-by":"publisher","unstructured":"H\u00e4u\u00dfler, M., Esser, S., Borrmann, A.: Code compliance checking of railway designs by integrating BIM, BPMN and DMN. Autom. Constr. (2021). https:\/\/doi.org\/10.1016\/j.autcon.2020.103427","DOI":"10.1016\/j.autcon.2020.103427"},{"key":"17_CR8","unstructured":"ISO\/IEC 19757-3:2020, Information technology - Document Schema Definition Languages (DSDL) - Part 3: Rule-based validation using Schematron"},{"key":"17_CR9","unstructured":"Klaus, C.: Specification of a test tool for the automated testing of CCS engineering data in XML format. Ph.D. thesis, Dresden University of Technology (2024). https:\/\/nbn-resolving.org\/urn:nbn:de:bsz:14-qucosa2-906663"},{"key":"17_CR10","unstructured":"Klaus, C.: Digitale LST-Planung in aktuellen Projekten. Deine Bahn, pp. 12\u201317 (2025)"},{"key":"17_CR11","unstructured":"Klaus, C., Jaekel, B., Wunsch, S., Lehnert, M.: The automated semantic validation of planning data for signalling systems using Schematron. Signalling Datacommun. 03, 14\u201322 (2018). https:\/\/eurailpress-archiv.de\/SingleView.aspx?show=143849"},{"key":"17_CR12","unstructured":"Lecomte, T., Burdy, L., Leuschel, M.: Formally checking large data sets in the railways. CoRR abs\/1210.6815 (2012), proceedings of DS-Event-B 2012, Kyoto"},{"key":"17_CR13","doi-asserted-by":"publisher","unstructured":"Lecomte, T., Deharbe, D., Prun, E., Mottin, E.: Applying a formal method in industry: a 25-Year trajectory. In: Cavalheiro, S., Fiadeiro, J. (eds.) SBMF 2017. LNCS, vol. 10623, pp. 70\u201387. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70848-5_6","DOI":"10.1007\/978-3-319-70848-5_6"},{"key":"17_CR14","doi-asserted-by":"publisher","unstructured":"Tutcher, J., Easton, J.M., Roberts, C.: Enabling data integration in the rail industry using RDF and OWL: the racoon ontology. ASCE-ASME J. Risk Uncertainty Eng. Syst., Part A: Civ. Eng. (2017). https:\/\/doi.org\/10.1061\/AJRUA6.0000859","DOI":"10.1061\/AJRUA6.0000859"},{"key":"17_CR15","doi-asserted-by":"publisher","unstructured":"Wang, X., Tian, Y., Fu, S., Musila, C.M.: Research on semantic verification method of AIXM data based on SBVR. In: Liang, Q., Wang, W., Mu, J., Liu, X., Na, Z. (eds.) Artificial Intelligence in China, pp. 260\u2013271. Springer Nature, Singapore (2023). https:\/\/doi.org\/10.1007\/978-981-99-1256-8_31","DOI":"10.1007\/978-981-99-1256-8_31"},{"key":"17_CR16","unstructured":"World Wide Web Consortium (W3C): XML Path Language (XPath) 2.0 (Second Edition) (2016). https:\/\/www.w3.org\/TR\/xpath20\/"},{"key":"17_CR17","unstructured":"World Wide Web Consortium (W3C): XSL Transformations (XSLT) Version 2.0 Second Edition) (2021). https:\/\/www.w3.org\/TR\/xslt20\/"}],"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_17","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_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032107619","9783032107626"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10762-6_17","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"}}]}}