{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T06:47:27Z","timestamp":1743317247042,"version":"3.37.3"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62192731","62272166","62192730"],"award-info":[{"award-number":["62192731","62272166","62192730"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1109\/tits.2024.3418864","type":"journal-article","created":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T18:58:23Z","timestamp":1720551503000},"page":"8375-8386","source":"Crossref","is-referenced-by-count":1,"title":["A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems"],"prefix":"10.1109","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2217-6659","authenticated-orcid":false,"given":"Xiaohong","family":"Chen","sequence":"first","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1087-226X","authenticated-orcid":false,"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[{"name":"Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Computer Science, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1938-2902","authenticated-orcid":false,"given":"Min","family":"Zhang","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9088-9821","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[{"name":"Université Côte d’Azur, CNRS, Inria, i3s, Nice, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoshan","family":"Liu","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingliang","family":"Zhou","sequence":"additional","affiliation":[{"name":"CASCO Signal Ltd., Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Hardware Design Verification: Simulation and Formal Method-Based Approaches","year":"2005","author":"Lam","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2019.00040"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019787"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_26"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2586512"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2869633"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3324022"},{"volume-title":"Syntax and Semantics of the Clock Constraint Specification Language (CCSL)","year":"2009","author":"Andr\u00e9","key":"ref9"},{"key":"ref10","first-page":"1595","article-title":"SMT-based approach to formal analysis of CCSL with tool support","volume":"29","author":"Zhang","year":"2018","journal-title":"J. Softw."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3140582.3081035"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0055-2"},{"volume-title":"Time Modeling in UML Profile for MARTE: Modelling and Analysis of Real-Time and Embedded Systems","year":"2011","author":"Group","key":"ref13"},{"key":"ref14","first-page":"157","article-title":"Safe CCSL specifications and marked graphs","volume-title":"Proc. 11th ACM\/IEEE Int. Conf. Formal Methods Models Codesign","author":"Mallet"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-015-9183-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16722-6_4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317437"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102777"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45416-0_18"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19858-8_17"},{"volume-title":"Duration Calculus\u2014A Formal Approach to Real-Time Systems","year":"2004","author":"Zhou","key":"ref24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref26","first-page":"1","article-title":"Analyzing consistency of formal requirements","volume":"76","author":"Becker","year":"2018","journal-title":"Proc. Electron. Commun. EASST"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00055"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_30"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2017.54"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_27"},{"volume-title":"Requirements Engineering\u2014From System Goals to UML Models to Software Specifications","year":"2009","author":"van Lamsweerde","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238220"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2019.00033"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6979\/10621861\/10591504.pdf?arnumber=10591504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T18:26:38Z","timestamp":1722968798000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10591504\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8]]},"references-count":34,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tits.2024.3418864","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"type":"print","value":"1524-9050"},{"type":"electronic","value":"1558-0016"}],"subject":[],"published":{"date-parts":[[2024,8]]}}}