{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T06:47:11Z","timestamp":1743317231230,"version":"3.37.3"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"the Fundamental Research Funds for the Central Universities","award":["2019JBM009"],"award-info":[{"award-number":["2019JBM009"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Intell. Transport. Syst. Mag."],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/mits.2019.2953536","type":"journal-article","created":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T02:11:36Z","timestamp":1585015896000},"page":"58-82","source":"Crossref","is-referenced-by-count":16,"title":["Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8404-6820","authenticated-orcid":false,"given":"Jidong","family":"Lv","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8593-2824","authenticated-orcid":false,"given":"Ehsan","family":"Ahmad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2018.2868881"},{"year":"2002","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54108-7_14"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1360\/N112014-00017"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658587"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICIECS.2009.5362961"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2012.2237509"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_13"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-5346-2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4271\/2017-01-1992"},{"key":"ref40","first-page":"52","article-title":"Synthesis of synchronization skeletons for branching time temporal logic","author":"clarke","year":"0","journal-title":"Proc IBM Workshop Logics of Programs"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref11"},{"key":"ref12","first-page":"103","article-title":"Technical issues in modelling the European train control system","author":"jansen","year":"1998","journal-title":"Proc 1st CPN Workshop DAIMI PB 532"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48118-4_58"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2495\/CR980621"},{"journal-title":"Stochastic Petri Nets An introduction to the Theory","year":"2002","author":"bause","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213234"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40903-8_19"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086283"},{"journal-title":"Online Testing of Real-Time Systems Using UPPAAL Status and Future Work","year":"2005","author":"larsen","key":"ref3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24732-6_8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2018.2842230"},{"key":"ref5","article-title":"UPPAAL-TRON user manual","author":"larsen","year":"2009","journal-title":"CISS BRICS"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.1342774"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-1643-1.ch011"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11408901_23"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2010","author":"utting","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s12239-018-0072-6"},{"journal-title":"The General Technical Programme of CTCS-3 Level Train Control System in Railways for Passengers","year":"2008","author":"zhang","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2013.6513433"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"ref21","first-page":"18","article-title":"Modeling and verification of temporary speed restriction of CTCS-3 train control system","volume":"4","author":"yuan","year":"2013","journal-title":"J Southwest Jiaotong Univ"},{"journal-title":"On-the-fly Testing Using UPPAAL","year":"2003","author":"mikucionis","key":"ref24"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.7146\/brics.v10i49.21821"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0065-1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050044"}],"container-title":["IEEE Intelligent Transportation Systems Magazine"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5117645\/9494728\/09044611.pdf?arnumber=9044611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:52:54Z","timestamp":1652194374000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9044611\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":41,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/mits.2019.2953536","relation":{},"ISSN":["1939-1390","1941-1197"],"issn-type":[{"type":"print","value":"1939-1390"},{"type":"electronic","value":"1941-1197"}],"subject":[],"published":{"date-parts":[[2021]]}}}