{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T16:54:45Z","timestamp":1773334485198,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,26]]},"DOI":"10.1109\/icsrs68021.2025.11422267","type":"proceedings-article","created":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T19:36:03Z","timestamp":1773257763000},"page":"191-200","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling and Verification of Advanced Railway Route Management with Moving Blocks"],"prefix":"10.1109","author":[{"given":"Araaf","family":"Recta","sequence":"first","affiliation":[{"name":"Univ. Gustave Eiffel COSYS, ESTAS,Villeneuve d’Ascq,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rim","family":"Saddem-Yagoubi","sequence":"additional","affiliation":[{"name":"Aix Marseille Univ CNRS, LIS,Marseille,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julie","family":"Beugin","sequence":"additional","affiliation":[{"name":"Univ. Gustave Eiffel COSYS, ESTAS,Villeneuve d’Ascq,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Ghazel","sequence":"additional","affiliation":[{"name":"Univ. Gustave Eiffel COSYS, ESTAS,Villeneuve d’Ascq,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98938-9_2"},{"issue":"4.0.0","key":"ref2","year":"2023","journal-title":"ERTMS\/ETCS System Requirements Specification, ERA, UNISIG, EEIG"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.26599\/jicv.2023.9210003"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-27008-7_1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50086-3_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-022-00653-3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11955757_21"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/9781118459898.ch4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3520480"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3850\/978-981-14-8593-0_3749-cd"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2014.02.002"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/tits.2017.2657695"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ojits.2023.3267142"},{"key":"ref14","volume-title":"Formal modelling and verification of distributed railway control systems","author":"Laursen","year":"2019"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_13"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-022-00681-z"},{"key":"ref17","article-title":"Deliverable D2.2: Moving block specification development","author":"Marrone","year":"2022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-85356-2_12"},{"key":"ref19","article-title":"Deliverable D2.3: Moving block verification and validation","author":"Saddem-Yagoubi","year":"2023"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3850\/978-981-18-2016-8_290-cd"},{"key":"ref21","article-title":"Deliverable D2.1: Modelling guidelines and moving block use cases characterization","author":"Seceleanu","year":"2021"},{"key":"ref22","article-title":"Deliverable D1.1: Baseline system specification and definition for moving block systems","author":"Samra","year":"2022"},{"key":"ref23","article-title":"Deliverable D4.1: Moving block specifications \u2013 Part 5: system specification","year":"2022"},{"key":"ref24","article-title":"Deliverable D4.2: Moving block specifications - Part 3: system specification","year":"2020"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.12.039"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"ref27","volume-title":"Moving Block Specifications Applying a Train-Centric Approach, Part 3 - Safety Analysis","author":"Schleiffelder"}],"event":{"name":"2025 9th International Conference on System Reliability and Safety (ICSRS)","location":"Turin, Italy","start":{"date-parts":[[2025,11,26]]},"end":{"date-parts":[[2025,11,28]]}},"container-title":["2025 9th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11422028\/11422048\/11422267.pdf?arnumber=11422267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T05:05:25Z","timestamp":1773291925000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11422267\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,26]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icsrs68021.2025.11422267","relation":{},"subject":[],"published":{"date-parts":[[2025,11,26]]}}}