{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T02:42:27Z","timestamp":1780368147205,"version":"3.54.1"},"reference-count":48,"publisher":"Informa UK Limited","issue":"1","license":[{"start":{"date-parts":[[2021,12,26]],"date-time":"2021-12-26T00:00:00Z","timestamp":1640476800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62072233\u00a0and\u00a061772270"],"award-info":[{"award-number":["62072233\u00a0and\u00a061772270"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004750","name":"Aeronautical Science Foundation of China","doi-asserted-by":"publisher","award":["201919052002"],"award-info":[{"award-number":["201919052002"]}],"id":[{"id":"10.13039\/501100004750","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program","doi-asserted-by":"crossref","award":["2018YFB1003900"],"award-info":[{"award-number":["2018YFB1003900"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Connection Science"],"published-print":{"date-parts":[[2022,12,31]]},"DOI":"10.1080\/09540091.2021.2017853","type":"journal-article","created":{"date-parts":[[2021,12,27]],"date-time":"2021-12-27T07:06:26Z","timestamp":1640588786000},"page":"911-941","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":23,"title":["SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems"],"prefix":"10.1080","volume":"34","author":[{"given":"Jian","family":"Xie","sequence":"first","affiliation":[{"name":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wenan","family":"Tan","sequence":"additional","affiliation":[{"name":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhibin","family":"Yang","sequence":"additional","affiliation":[{"name":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuming","family":"Li","sequence":"additional","affiliation":[{"name":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Linquan","family":"Xing","sequence":"additional","affiliation":[{"name":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[{"name":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"},{"name":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2021,12,26]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1080\/09540091.2020.1854180"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2018.115013"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39646-5_9"},{"key":"CIT0004","unstructured":"Badouel, \u00c9., Benveniste, A., Caillaud, B., Delahaye, B. & Raclet, J. B. (2006). SPEEDS: speculative and exploratory design in systems engineering."},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.3390\/app9061246"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1080\/1059924X.2019.1567420"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2019.00595.x"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0400-x"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1145\/2070336.2070341"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69035-3_8"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.5220\/0010256302160223"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693137"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/ACVI.2016.7"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26601-1_6"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2202"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon47679.2020.9275867"},{"key":"CIT0017","unstructured":"DO-178C, R. (2011). Software considerations in airborne systems and equipment certification. RTCA, Incorporated."},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1109\/MARK.2009.11"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_13"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-015-0226-1"},{"key":"CIT0021","unstructured":"Garro, A. & Tundis, A. (2012). Enhancing the RAMSAS method for system reliability analysis \u2013 an exploitation in the automotive domain. In Proceedings of the 2nd international conference on simulation and modeling methodologies, technologies and applications (pp. 328\u2013333). SciTePress."},{"key":"CIT0022","unstructured":"Group, O. M. (2007). Unified modeling language specification version 2.1.1."},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1049\/cp:20070452"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1145\/2432631.2432635"},{"key":"CIT0025","unstructured":"International, S. (1996). Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. SAE International."},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1985.5222114"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_28"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2016.7490580"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1109\/SysEng.2015.7302764"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1145\/2590778"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00782-w"},{"key":"CIT0032","volume-title":"Guidance, navigation and control","author":"Negro J.","year":"2010"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1109\/ACIT-CSI.2015.97"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1080\/09540091.2020.1723491"},{"key":"CIT0035","unstructured":"SC-205, R. F. (2011a). Formal methods supplement to do-178c and do-278a. RTCA, Incorporated."},{"key":"CIT0036","unstructured":"SC-205, R. F. (2011b). Model-based development and verification supplement to do-178c and do-278a. RTCA, Incorporated."},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02414-6_11"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64119-5_7"},{"key":"CIT0039","unstructured":"SysML-Forum (2003). SysML FAQ. https:\/\/sysmlforum.com\/sysml-faq\/ [Accessed on Feb. 23, 2021]."},{"key":"CIT0040","unstructured":"Tim King, D. & Bill Stclair, L. (2012). DO-178C takes safety-critical software development to the next level. Eetimes Com."},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1080\/09540091.2020.1772723"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-374274-2.00004-3"},{"key":"CIT0043","unstructured":"Yakymets, N., Jaber, H. & Lanusse, A. (2013). Model-based system engineering for fault tree generation and analysis. In Proceedings of the 1st international conference on model-driven engineering and software development (pp. 210\u2013214). SciTePress."},{"key":"CIT0044","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.02.058"},{"key":"CIT0045","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747945"},{"key":"CIT0046","doi-asserted-by":"publisher","DOI":"10.1080\/09540091.2020.1841110"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31038-7_6"},{"key":"CIT0048","doi-asserted-by":"publisher","DOI":"10.1080\/09540091.2020.1841096"}],"container-title":["Connection Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09540091.2021.2017853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,17]],"date-time":"2023-04-17T15:23:29Z","timestamp":1681745009000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/09540091.2021.2017853"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,26]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,12,31]]}},"alternative-id":["10.1080\/09540091.2021.2017853"],"URL":"https:\/\/doi.org\/10.1080\/09540091.2021.2017853","relation":{},"ISSN":["0954-0091","1360-0494"],"issn-type":[{"value":"0954-0091","type":"print"},{"value":"1360-0494","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12,26]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ccos20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ccos20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2021-06-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-11-11","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-12-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}