{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T09:14:23Z","timestamp":1772010863211,"version":"3.50.1"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"name":"Beijing National Railway Research and Design Institute of Signal and Communication Group Company Ltd"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/access.2024.3435468","type":"journal-article","created":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T19:43:21Z","timestamp":1722282201000},"page":"106793-106807","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification Method of CTCS-2 Level Train Control Engineering Data Based on the Reduced Ordered Binary Decision Diagram"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-7308-1839","authenticated-orcid":false,"given":"Hao","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Automation and Electrical Engineering, Lanzhou Jiaotong University, Lanzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Automation and Electrical Engineering, Lanzhou Jiaotong University, Lanzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ke","family":"Ye","sequence":"additional","affiliation":[{"name":"Beijing National Railway Research and Design Institute of Signal and Communication Group Company Ltd., Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39878-3_31"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2019.2953506"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.10.011"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2010.01.002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2586512"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2495\/CR040241"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2014.11.007"},{"issue":"4","key":"ref8","first-page":"10","article-title":"RailTopoModel and RailML-data exchange standards in railway sector","volume":"10","author":"Nowakowski","year":"2017","journal-title":"Arch. Tran-sport Syst. Telematics"},{"key":"ref9","volume-title":"Railtopomodel-Railway Infrastructure Topological Model","year":"2016"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.14311\/NNW.2023.33.002","volume-title":"Integration of railway infrastructure topological description elements from the MicroL2 to the MacroN0, L0 Level of Detail","author":"Hlubu\u010dek","year":"2023"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.14311\/APP.2021.31.0018"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88361-4_35"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3317256"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3520480"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3124677"},{"key":"ref16","article-title":"Formal data validation with event-B","author":"Badeau","year":"2012","journal-title":"arXiv:1210.7039"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33600-8_10"},{"key":"ref18","article-title":"Formally checking large data sets in the railways","author":"Lecomte","year":"2012","journal-title":"arXiv:1210.6815"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33170-1_4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2987972"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05032-4_17"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05814-1_10"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05032-4_16"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00551-6"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_31"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3141555"},{"key":"ref27","first-page":"8","article-title":"Formal verification of railway interlocking and its safety case","volume-title":"Proc. Saf.-Crit. Syst. Symp. (SSS)","author":"Iliasov"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795940"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61792-9_45"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_6"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60488-2_3"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-99-8258-5_3"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3217907"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.3390\/app14020753"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3274279"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2020.3047462"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.3403\/02247377"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10380310\/10614211.pdf?arnumber=10614211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T17:36:11Z","timestamp":1723484171000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10614211\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/access.2024.3435468","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}