{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T00:08:21Z","timestamp":1774051701548,"version":"3.50.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"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":["U1734211"],"award-info":[{"award-number":["U1734211"]}],"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":["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":["61603026"],"award-info":[{"award-number":["61603026"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shanghai Committee of Science and Technology Research Program","award":["17DZ1100106"],"award-info":[{"award-number":["17DZ1100106"]}]},{"DOI":"10.13039\/501100004826","name":"Natural Science Foundation of Beijing Municipality","doi-asserted-by":"publisher","award":["L171004"],"award-info":[{"award-number":["L171004"]}],"id":[{"id":"10.13039\/501100004826","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1109\/tits.2018.2819799","type":"journal-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T18:33:15Z","timestamp":1524508395000},"page":"441-456","source":"Crossref","is-referenced-by-count":20,"title":["Development and Validation of a Distance Measurement System in Metro Lines"],"prefix":"10.1109","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9840-5804","authenticated-orcid":false,"given":"Haifeng","family":"Song","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2961-823X","authenticated-orcid":false,"given":"Eckehard","family":"Schnieder","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","first-page":"111","article-title":"How much worst case is needed in WCET estimation?","author":"petters","year":"2002","journal-title":"Proc Int Workshop Worst-Case Execution Time Anal"},{"key":"ref32","first-page":"1","article-title":"Statistical-based WCET estimation and validation","author":"hansen","year":"2009","journal-title":"Proc Int Workshop Worst-Case Execution Time Anal"},{"key":"ref31","author":"steimel","year":"2008","journal-title":"Electric Traction—Motive Power and Energy Supply Basics and Practical Experience"},{"key":"ref30","first-page":"93","article-title":"The explication problem: The achilles heel of formal methods","volume":"1","author":"parthasarthy","year":"1999","journal-title":"Entwicklung und Betrieb Komplexer Automatisierungssysteme EKA"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1080\/00207160701536370"},{"key":"ref10","year":"2011","journal-title":"Railway Applications-Communication Signalling and Processing Systems-Software for Railway Control and Protection Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2017.03.001"},{"key":"ref12","author":"girault","year":"2013","journal-title":"Petri Nets for Systems Engineering A Guide to Modeling Verification and Applications"},{"key":"ref13","article-title":"Verifiable design of a satellite-based train control system with Petri nets","author":"wu","year":"2014"},{"key":"ref14","first-page":"46","article-title":"Modelling functionality of train control systems using Petri nets","author":"h\u00f6rste","year":"2013","journal-title":"Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3182\/20090610-3-IT-4004.00039"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2016.03.001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15898-8_14"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2010.5482475"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/978-3-540-40022-6_17","article-title":"BASYSNET—An integrated approach for automated control system development","author":"schnieder","year":"2003","journal-title":"Petri Net Technology for Communication-Based Systems"},{"key":"ref28","volume":"1","author":"jensen","year":"2013","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2009.5307471"},{"key":"ref27","author":"jensen","year":"2006","journal-title":"CPN Tools State Space Manual"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2012.2215855"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2013.2265171"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.12.022"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.905750"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2162627"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/185138"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2010.2048030"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884471"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2377074"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2012.04.018"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/WD.2008.4812905"},{"key":"ref21","first-page":"1","article-title":"Survey of formal model-based development of safety-critical software for railway applications","author":"welte","year":"2013","journal-title":"Proc World Congr Railways Research"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/5.736341"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2310771"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2004.825082"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/8630805\/08345184.pdf?arnumber=8345184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:54:07Z","timestamp":1657745647000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8345184\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":34,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tits.2018.2819799","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2]]}}}