{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T18:20:30Z","timestamp":1783102830921,"version":"3.54.6"},"publisher-location":"Cham","reference-count":9,"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_16","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:08:04Z","timestamp":1763222884000},"page":"203-212","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Configurable Interlocking Verification"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Iliasov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominic","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Linas","family":"Laibinis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"16_CR1","unstructured":"Stratton, D.H: Solid State Interlocking. First edition, IRSE Booklet, 28. Institution of Railway Signal Engineers (IRSE). p. 20 (1988)"},{"key":"16_CR2","doi-asserted-by":"publisher","unstructured":"Iliasov, A., Taylor, D., Laibinis, L., Romanovsky, A.: Practical verification of railway signalling programs. IEEE Trans. Dependable Secure Comput. 20(1), 695\u2013707 (2023). https:\/\/doi.org\/10.1109\/TDSC.2022.3141555","DOI":"10.1109\/TDSC.2022.3141555"},{"key":"16_CR3","unstructured":"Network Rail: Catalogue of Network Rail Standards, NR\/CAT\/STP\/001 Issue 134, 7th December (2024). https:\/\/www.networkrail.co.uk\/industry-and-commercial\/third-party-investors\/network-rail-is-open-for-business\/reviewing-our-standards\/"},{"key":"16_CR4","unstructured":"UK Railway Safety and Standards Board, RSSB: Standards Catalogue. https:\/\/www.rssb.co.uk\/standards-catalogue#standards"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Anderson, T., Rivett, R.: Lessons from railway accidents for autonomous road vehicles. In: 19th European Dependable Computing Conference (EDCC), pp. 85\u201388. IEEE (2024). https:\/\/doi.org\/10.1109\/EDCC61798.2024.00027","DOI":"10.1109\/EDCC61798.2024.00027"},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Iliasov, A., Taylor, D., Laibinis, L., Romanovsky, A.B.: Safety invariant engineering for interlocking verification. In: Ceccarelli, A., Trapp, M., Bondavalli, A., Bitsch, F. (eds.) Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18\u201320, 2024, Proceedings. Lecture Notes in Computer Science, vol. 14988, pp. 68\u201383. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-68606-1_5","DOI":"10.1007\/978-3-031-68606-1_5"},{"key":"16_CR7","doi-asserted-by":"publisher","unstructured":"Iliasov, A., Taylor, D., Laibinis, L., Romanovsky, A.B.: The safecap trajectory: industry-driven improvement of an interlocking verification tool. 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, October 10\u201312, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14198, pp. 117\u2013127. Springer (2023).https:\/\/doi.org\/10.1007\/978-3-031-43366-5_7","DOI":"10.1007\/978-3-031-43366-5_7"},{"key":"16_CR8","unstructured":"Network Rail: The Northern City Line between Finsbury Park and Moorgate has become the first commuter railway in Britain to run without signals beside the track. (2025). https:\/\/www.networkrail.co.uk\/stories\/launching-britains-first-signals-free-commuter-railway\/"},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1109\/TR.2020.3047462","volume":"70","author":"L Laibinis","year":"2021","unstructured":"Laibinis, L., Iliasov, A., Romanovsky, A.B.: Mutation testing for rule-based verification of railway signaling data. IEEE Trans. Reliab. 70(2), 676\u2013691 (2021). https:\/\/doi.org\/10.1109\/TR.2020.3047462","journal-title":"IEEE Trans. Reliab."}],"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_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T17:51:09Z","timestamp":1783101069000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10762-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032107619","9783032107626"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10762-6_16","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"}}]}}