{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T23:33:45Z","timestamp":1648510425724},"reference-count":6,"publisher":"International Academy Publishing (IAP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.6.1553-1560","type":"journal-article","created":{"date-parts":[[2014,5,29]],"date-time":"2014-05-29T22:52:17Z","timestamp":1401403937000},"source":"Crossref","is-referenced-by-count":0,"title":["Hierarchical Modeling and Verification for High-speed Train Control Center by Time Automation"],"prefix":"10.17706","volume":"9","author":[{"given":"Lei","family":"Yuan","sequence":"first","affiliation":[]},{"given":"Shiying","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Dewang","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Kaicheng","family":"Li","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2014,6,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805817"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.8.2.372-379"},{"key":"ref3","first-page":"18","article-title":"Si.W. Gao, Train operation adjustment of optimization and simulation","volume":"12","author":"Jin","year":"2007","unstructured":"[13] H.D. Jin, Y.S. Zhang, Si.W. Gao, Train operation adjustment of optimization and simulation: Science and Technology, 12 (2007):18 - 22.","journal-title":"Science and Technology"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_31"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.8.5.1220-1229"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.4.5.366-377"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T11:27:39Z","timestamp":1442316459000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/11129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,1]]},"references-count":6,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2014,6,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.6.1553-1560","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,6,1]]}}}