{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:46:45Z","timestamp":1764874005593,"version":"3.37.3"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,8]],"date-time":"2022-10-08T00:00:00Z","timestamp":1665187200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,8]],"date-time":"2022-10-08T00:00:00Z","timestamp":1665187200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["2022JBZY003"],"award-info":[{"award-number":["2022JBZY003"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004826","name":"Beijing Natural Science Foundation","doi-asserted-by":"publisher","award":["L201004"],"award-info":[{"award-number":["L201004"]}],"id":[{"id":"10.13039\/501100004826","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,8]]},"DOI":"10.1109\/itsc55140.2022.9922557","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:40:13Z","timestamp":1667526013000},"page":"335-340","source":"Crossref","is-referenced-by-count":4,"title":["A Model-Based Testing System for Safety of Railway Interlocking"],"prefix":"10.1109","author":[{"given":"Haoxiang","family":"Su","sequence":"first","affiliation":[{"name":"National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University,Beijing,China,100044"}]},{"given":"Ming","family":"Chai","sequence":"additional","affiliation":[{"name":"National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University,Beijing,China,100044"}]},{"given":"Hongjie","family":"Liu","sequence":"additional","affiliation":[{"name":"National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University,Beijing,China,100044"}]},{"given":"Jinchuan","family":"Chai","sequence":"additional","affiliation":[{"name":"National Railway Track Test Center China Academy of Railway Sciences Corporation Limited,Beijing,China"}]},{"given":"Chaopeng","family":"Yue","sequence":"additional","affiliation":[{"name":"Beijing National Railway Research & Design Institute of Signal & Communication Group Co, Ltd.,Beijing"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110962"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.111.1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.04.004"},{"key":"ref20","first-page":"23","article-title":"Automatic test generation from coupled uml models using input partitions","author":"wei\u00dfleder","year":"0","journal-title":"4 th MoDeVVa workshop Model-Driven Engineering Verification and Validation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_39"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.05.010"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11737-9_25"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/act10090207"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/1859709"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45800-X_30"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.95"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0291-0"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102627"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TTE.2021.3134669"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/00423114.2021.1998559"},{"key":"ref9","first-page":"101","article-title":"Tool support for checking railway interlocking designs","author":"winter","year":"2006","journal-title":"Proceedings of the 10th Australian workshop on Safety critical systems and software-Volume 55"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tre.2021.102323"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2020.102886"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2021.104901"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2021.103249"}],"event":{"name":"2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)","start":{"date-parts":[[2022,10,8]]},"location":"Macau, China","end":{"date-parts":[[2022,10,12]]}},"container-title":["2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9921415\/9921739\/09922557.pdf?arnumber=9922557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,27]],"date-time":"2023-02-27T22:49:06Z","timestamp":1677538146000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9922557\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,8]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/itsc55140.2022.9922557","relation":{},"subject":[],"published":{"date-parts":[[2022,10,8]]}}}