{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T22:03:26Z","timestamp":1774389806235,"version":"3.50.1"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":["NG2023003"],"award-info":[{"award-number":["NG2023003"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Research and Development Program of China","award":["2023YFB4302403"],"award-info":[{"award-number":["2023YFB4302403"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/tr.2026.3672078","type":"journal-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T19:52:51Z","timestamp":1773172371000},"page":"1335-1349","source":"Crossref","is-referenced-by-count":0,"title":["SysML Model-Based Safety Analysis in Airborne System Design Using Formal Verification"],"prefix":"10.1109","volume":"75","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-4023-5553","authenticated-orcid":false,"given":"Da-Wei","family":"Cheng","sequence":"first","affiliation":[{"name":"College of Civil Aviation, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7013-4803","authenticated-orcid":false,"given":"Zhong","family":"Lu","sequence":"additional","affiliation":[{"name":"College of Civil Aviation, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"","year":"1996"},{"key":"ref2","article-title":"","year":"2010"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2019.02.005"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2019.2955916"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2023.109257"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/pr8010090"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111629"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00735-y"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2019.2936072"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15842-1_3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2014.10.025"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294605"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2019.2930184"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3015151"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2022.108866"},{"key":"ref16","first-page":"721","article-title":"A model based system engineering with fault injection using SYSML","volume-title":"Proc. 7th Int. Conf. Integrity-Rel.-Failure","author":"Hendriks"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3390\/app12031671"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020949"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2020.3032178"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2873260"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2024.106425"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2021.114572"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2023.102201"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2022.3209339"},{"key":"ref27","volume-title":"Model Checking","author":"Clark","year":"2018"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/24\/11317936\/11429142.pdf?arnumber=11429142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T19:47:47Z","timestamp":1774381667000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11429142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/tr.2026.3672078","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}