{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:45:00Z","timestamp":1770338700806,"version":"3.49.0"},"publisher-location":"Cham","reference-count":14,"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_5","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:07:48Z","timestamp":1763222868000},"page":"35-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["SMT-Based Verification of\u00a0Railway Plannings"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0912-2189","authenticated-orcid":false,"given":"Stefan","family":"Dillmann","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8000-7613","authenticated-orcid":false,"given":"Reiner","family":"H\u00e4hnle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","unstructured":"Ahrendt, W., Beckert, B., Bubel, R., H\u00e4hnle, R., Schmitt, P., Ulbrich, M. (eds.): Deductive Software Verification\u2014The KeY Book: From Theory to Practice. LNCS, vol. 10001. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-49812-6","DOI":"10.1007\/978-3-319-49812-6"},{"key":"5_CR2","unstructured":"Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard Version 2.6 (2021). https:\/\/smt-lib.org\/papers\/smt-lib-reference-v2.6-r2021-05-12.pdf"},{"key":"5_CR3","unstructured":"Cok, D.R.: The SMT-LIBv2 Language and Tools: A Tutorial (2013). https:\/\/smtlib.github.io\/jSMTLIB\/SMTLIBTutorial.pdf"},{"key":"5_CR4","unstructured":"Deutsche Bahn AG, Frankfurt: Richtlinie 819: LST-Anlagen planen"},{"key":"5_CR5","unstructured":"Deutsche Bahn AG: PlanPro Datenmodell Version 1.9.0 (2019). https:\/\/www.dbinfrago.com\/planpro"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-030-18744-6_5","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"S Dillmann","year":"2019","unstructured":"Dillmann, S., H\u00e4hnle, R.: Automated planning of ETCS tracks. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 79\u201390. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-18744-6_5"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Dillmann, S., Pejic, M., Oetting, A., H\u00e4hnle, R.: Zeit- und Kostenersparnis bei der ETCS L2 Planung durch Digitalisierung. In: Scientific Railway Signalling Symposium, pp. 37\u201355. TU Darmstadt (2019). https:\/\/doi.org\/10.25534\/tuprints-00011296","DOI":"10.25534\/tuprints-00011296"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Ferrari, A., ter Beek, M.H.: Formal methods in railways: a systematic mapping study. ACM Comput. Surv. 55(4), 69:1\u201369:37 (2023). https:\/\/doi.org\/10.1145\/3520480","DOI":"10.1145\/3520480"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Gruteser, J., Leuschel, M.: Validation of railML Using ProB. In: Bai, G., Ishikawa, F., A\u00eft-Ameur, Y., Papadopoulos, G.A. (eds.) Engineering of Complex Computer Systems - 28th International Conference, ICECCS, Proceedings. LNCS, vol. 14784, pp. 245\u2013256. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-66456-4_13","DOI":"10.1007\/978-3-031-66456-4_13"},{"key":"5_CR10","unstructured":"ISO: Generation of universally unique identifiers (UUIDs) and their use in object identifiers, ISO\/IEC 9834-8:2014 (2014)"},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"Kosmatov, N., Prevosto, V., Signoles, J. (eds.): Guide to Software Verification with Frama-C. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-55608-1","DOI":"10.1007\/978-3-031-55608-1"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/S10703-017-0281-Z","volume":"52","author":"B Luteberget","year":"2018","unstructured":"Luteberget, B., Johansen, C.: Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. 52(1), 1\u201332 (2018). https:\/\/doi.org\/10.1007\/S10703-017-0281-Z","journal-title":"Formal Methods Syst. Des."},{"key":"5_CR13","unstructured":"Maschek, U., Klaus, C., Gerke, C., Uminski, V., Girke, K.J.: PlanPro: Durchg\u00e4ngige elektronische Datenhaltung im ESTW-Planungsprozess. Signal+Draht 104(9), 22\u201326 (2012)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Wunsch, S., Jaekel, B., Lehnert, M., Klaus, C., Gruteser, J., Leuschel, M.: Automated semantic validation of railway signalling data on the basis of schematron. In: ter Beek, M.H., Collart-Dutilleul, S., Lecomte, T. (eds.) Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail) (2025)","DOI":"10.1007\/978-3-032-10762-6_17"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T13:28:38Z","timestamp":1765891718000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10762-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032107619","9783032107626"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10762-6_5","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"}}]}}