{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T21:10:29Z","timestamp":1648588229843},"reference-count":8,"publisher":"International Academy Publishing (IAP)","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.10.2693-2698","type":"journal-article","created":{"date-parts":[[2014,11,3]],"date-time":"2014-11-03T21:00:48Z","timestamp":1415048448000},"source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Verification for Track Circuit Encoding in Train Control Center Based on UML and TA"],"prefix":"10.17706","volume":"9","author":[{"given":"Lei","family":"Yuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lijuan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dewang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amie","family":"Albrecht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"ref1","first-page":"1","volume-title":"CTCS-Chinese Train Control System","author":"Ning","year":"2004","unstructured":"[1] Ning B, Tang T, Qiu K, et al. CTCS-Chinese Train Control System. Advanced Train Control Systems (2004): 1."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MCAS.2010.936782"},{"key":"ref3","volume-title":"Software development formal engineering methods","author":"Yin","year":"2008","unstructured":"[9]Liu Shao Yin. Software development formal engineering methods. Tsinghua University Press, 2008."},{"key":"ref4","volume-title":"Complex system requirements for formal","author":"Jing","year":"2009","unstructured":"[10]Peng Yu Jing. Complex system requirements for formal. Yangzhou University, 2009."},{"issue":"3","key":"ref5","first-page":"109","article-title":"Research on software development model.","volume":"42","author":"Sheng","year":"2006","unstructured":"[11]Zhang You Sheng, Li Xiong. Research on software development model. Computer Engineering and Applications, 2006, 42(3): 109-115.","journal-title":"Computer Engineering and Applications"},{"key":"ref6","volume-title":"Introduction to Software Engineering","author":"Fan","year":"1998","unstructured":"[12]Zhang Hai Fan. Introduction to Software Engineering. Tsinghua University Press, 1998."},{"key":"ref7","first-page":"122","volume-title":"Overall technical program of CTCS-3 Train Control System","author":"Guang","year":"2008","unstructured":"[15]Zhang Shu Guang. Overall technical program of CTCS-3 Train Control System[M]. Beijing: China Railway Press, 2008:122-123."},{"key":"ref8","volume-title":"GSM-R communication technology and application","author":"Zhong","year":"2005","unstructured":"[19]Zhu Hui Zhong, Zhang Ya Ping, Jiang Xiao Bing. GSM-R communication technology and application. Railway Press, 2005."}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:26:26Z","timestamp":1442330786000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/12333"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,1]]},"references-count":8,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2014,10,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.10.2693-2698","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,10,1]]}}}