{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,4]],"date-time":"2026-08-04T15:52:06Z","timestamp":1785858726574,"version":"3.56.0"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61790573"],"award-info":[{"award-number":["61790573"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1734211"],"award-info":[{"award-number":["U1734211"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["2018JBZ002"],"award-info":[{"award-number":["2018JBZ002"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Veh. Technol."],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1109\/tvt.2018.2868881","type":"journal-article","created":{"date-parts":[[2018,9,5]],"date-time":"2018-09-05T18:52:26Z","timestamp":1536173546000},"page":"2035-2043","source":"Crossref","is-referenced-by-count":29,"title":["Development and Evaluation Procedure of the Train-Centric Communication-Based System"],"prefix":"10.1109","volume":"68","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9840-5804","authenticated-orcid":false,"given":"Haifeng","family":"Song","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2961-823X","authenticated-orcid":false,"given":"Eckehard","family":"Schnieder","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.5251\/ajsir.2010.1.2.227.232"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"232","DOI":"10.17531\/ein.2018.2.08","article-title":"Modeling of railway system maintenance and availability by means of colored Petri nets","volume":"20","author":"song","year":"2018","journal-title":"Eksploatacja i Niezawodnosc-Maintenance and Reliability"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2012.04.018"},{"key":"ref31","first-page":"1","article-title":"Technical issues in modelling the european train control system (ETCS) using coloured Petri nets and the design\/CPN tools","author":"jansen","year":"0","journal-title":"Proc Workshop Practical Use Coloured Petri Nets Design\/CPN"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213234"},{"key":"ref37","first-page":"1","article-title":"Methods and tools for the certification of Galileo for railway applications","author":"poliak","year":"0","journal-title":"Proc World Congr Railway Res"},{"key":"ref36","author":"baehr","year":"2004","journal-title":"Evaluation Methodology"},{"key":"ref35","first-page":"46","article-title":"Modelling functionality of train control systems using Petri nets","author":"h\u00f6rste","year":"0","journal-title":"Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2017.03.001"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MCAS.2010.936782"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2404851"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7295465"},{"key":"ref12","first-page":"3","article-title":"Roadmap towards the wireless virtual coupling of trains","author":"goikoetxea","year":"2016","journal-title":"Proc 5th Int Workshop Commun Technol Veh"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2495\/TDI-V1-N4-666-676"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2310771"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1155\/2016\/7308604"},{"key":"ref16","year":"0"},{"key":"ref17","first-page":"1","article-title":"A reliable surveillance strategy for an autonomous rail collision avoidance system","author":"lehner","year":"2008","journal-title":"Proc 15th ITS World Congr"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2377074"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2819799"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2008.4518997"},{"key":"ref4","first-page":"1","article-title":"Railway safety and security–two sides of the same coin","author":"schnieder","year":"0","journal-title":"Proc Int Rail Safety Conf"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICIInfS.2013.6731990"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-4666-1643-1","author":"flammini","year":"2012","journal-title":"Railway Safety Reliability and Security Technologies and Systems Engineering Technologies and Systems Engineering"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2658179"},{"key":"ref29","article-title":"Systematische modellierung und analyse verteilter automatisierungssysteme","author":"diekhake","year":"2016"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2016.2624504"},{"key":"ref8","author":"schnieder","year":"1999","journal-title":"Methoden der Automatisierungstechnik - Beschreibungsmit-tel Modellkonzepteund Werkzeuge für Automatisierungssysteme"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/0954409715610604"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416910"},{"key":"ref9","article-title":"ERTMS\/ETCS—Baseline 3. System Requirements Specification","year":"2008"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ITST.2009.5399310"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2018.2842039"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/VETECF.2003.1284996"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1049\/el.2010.1195"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2015.2425218"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2011.5940494"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/LAWP.2013.2270937"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2010.03.010"},{"key":"ref26","author":"cenelec","year":"2012","journal-title":"50128-Railway Applications-Communication Signalling and Processing Systems-Software for Railway Control and Protection Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40022-6_17"}],"container-title":["IEEE Transactions on Vehicular Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/25\/8667487\/08454804.pdf?arnumber=8454804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:56:54Z","timestamp":1657745814000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8454804\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":42,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tvt.2018.2868881","relation":{},"ISSN":["0018-9545","1939-9359"],"issn-type":[{"value":"0018-9545","type":"print"},{"value":"1939-9359","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3]]}}}