{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:40:02Z","timestamp":1742596802607,"version":"3.40.2"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T00:00:00Z","timestamp":1727136000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T00:00:00Z","timestamp":1727136000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["2022JBXT000"],"award-info":[{"award-number":["2022JBXT000"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,9,24]]},"DOI":"10.1109\/itsc58415.2024.10920223","type":"proceedings-article","created":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T19:00:11Z","timestamp":1742583611000},"page":"2755-2761","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of Key Function of a New Type of Train Control System Based on Timed Automata"],"prefix":"10.1109","author":[{"given":"Aiying","family":"Li","sequence":"first","affiliation":[{"name":"Beijing Jiaotong University,National Engineering Research Center of Rail Transportation Operation and Control System,Beijing,China,100044"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Liu","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University,National Engineering Research Center of Rail Transportation Operation and Control System,Beijing,China,100044"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Yuan","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University,National Engineering Research Center of Rail Transportation Operation and Control System,Beijing,China,100044"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guodong","family":"Wei","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University,National Engineering Research Center of Rail Transportation Operation and Control System,Beijing,China,100044"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"issue":"S1","key":"ref1","first-page":"34","article-title":"Study on the overall technical solution of the ctcs-4 level train control system","volume":"55","author":"MO","year":"2019","journal-title":"Railway Signalling and Communication Engineering"},{"issue":"1","key":"ref2","first-page":"56","article-title":"Research on comprehensive autonomous positioning technology of new train control system","volume":"44","author":"Mo","year":"2022","journal-title":"Tiedao Xue-bao\/Journal of the China Railway Society"},{"key":"ref3","volume-title":"Sysml-based modeling and analysis for ctcs-3 train control system","author":"HE","year":"2014"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/itsc.2016.7795632"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8916894"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1117\/12.2652804"},{"issue":"05","key":"ref7","first-page":"21","article-title":"Discussion on test scheme for train integrity functions in new train control system","volume":"20","author":"Wei","year":"2023","journal-title":"Railway Signalling and Communication Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00606-2"},{"key":"ref9","volume-title":"Modeling and verification of regional data center for ctcs-1 train control system based on sysml and timed automata","author":"Wang","year":"2019"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2010.2073480"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"}],"event":{"name":"2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC)","location":"Edmonton, AB, Canada","start":{"date-parts":[[2024,9,24]]},"end":{"date-parts":[[2024,9,27]]}},"container-title":["2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10919469\/10919190\/10920223.pdf?arnumber=10920223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:58:45Z","timestamp":1742594325000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10920223\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,24]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/itsc58415.2024.10920223","relation":{},"subject":[],"published":{"date-parts":[[2024,9,24]]}}}