{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T10:20:42Z","timestamp":1742638842055,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/itsc.2016.7795632","type":"proceedings-article","created":{"date-parts":[[2016,12,26]],"date-time":"2016-12-26T21:45:07Z","timestamp":1482788707000},"page":"713-718","source":"Crossref","is-referenced-by-count":1,"title":["Hierarchical modeling and analysis of TCC subsystem in CTCS level 3 using UPPAAL"],"prefix":"10.1109","author":[{"family":"Yang Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Daming Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shenghua Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhengjiao Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"183","article-title":"A theory of timed automata Theoretical Computer","volume":"126","author":"rajeev","year":"1994","journal-title":"Science"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nut-shell","volume":"1","author":"kim","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","article-title":"Paul Pettersson, Wang Yi. Model-Checking for Real-Time Systems","author":"larsen","year":"1995","journal-title":"Proc of Fundamentals of Computation Theory Lecture Notes in Computer Science 965"},{"key":"ref13","article-title":"Automatic Verification of Real-Time Communicating Systems By Constraint Solving","author":"wang","year":"1994","journal-title":"Proc of the 7th International Conference on Formal Description Techniques"},{"key":"ref14","article-title":"Model checking of real-time systems based on UPPAAL","author":"qing lei","year":"2004","journal-title":"Computer Applications"},{"key":"ref15","article-title":"Research on Testing Technology of Active Balise Interface C in High-speed Railway","author":"bo","year":"2013","journal-title":"Railway Quality Control"},{"volume":"2 0","journal-title":"Chinese Ministry of Railways Technical manual on Train Control Center of passenger dedicated lines","year":"2010","key":"ref16"},{"volume":"2 0","journal-title":"Chinese Ministry of Railways Technical manual on Temporary Speed Control of passenger dedicated lines","year":"2010","key":"ref17"},{"journal-title":"The formalization development method research","year":"2002","author":"wang","key":"ref4"},{"journal-title":"Research on control system field test and auxiliary tool for CTCS-3","year":"2010","author":"liu","key":"ref3"},{"key":"ref6","article-title":"Automatic Verification of Real-Time Communicating Systems By Constraint Solving","author":"wang","year":"1994","journal-title":"Proc of the 7th International Conference on Formal Description Techniques"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48118-4_58"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805817"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSIE.2009.49"},{"key":"ref2","first-page":"20","article-title":"One Method to Evaluate the Safety of Train Control Center","author":"peng","year":"2009","journal-title":"International Asia Conference on Informatics in Control Automation and Robotics IEEE computer society"},{"key":"ref1","first-page":"8130","article-title":"Neuro-adaptive and robust automatic train control subject to unknown dynamics","author":"shigen","year":"2013","journal-title":"Control Conference (CCC) 2013 32nd Chinese IEEE"},{"key":"ref9","article-title":"Hierarchical Modeling and Verification for Highspeed Train Control Center by Time Automation","volume":"9","author":"lei","year":"2014","journal-title":"Journal of Soft-ware"}],"event":{"name":"2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC)","start":{"date-parts":[[2016,11,1]]},"location":"Rio de Janeiro, Brazil","end":{"date-parts":[[2016,11,4]]}},"container-title":["2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7784515\/7795515\/07795632.pdf?arnumber=7795632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T06:48:57Z","timestamp":1498373337000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7795632\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/itsc.2016.7795632","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}