{"id":"https://openalex.org/W4403601977","doi":"https://doi.org/10.3390/systems12100443","title":"X-RMTV: An Integrated Approach for Requirement Modeling, Traceability Management, and Verification in MBSE","display_name":"X-RMTV: An Integrated Approach for Requirement Modeling, Traceability Management, and Verification in MBSE","publication_year":2024,"publication_date":"2024-10-20","ids":{"openalex":"https://openalex.org/W4403601977","doi":"https://doi.org/10.3390/systems12100443"},"language":"en","primary_location":{"id":"doi:10.3390/systems12100443","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems12100443","pdf_url":null,"source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.3390/systems12100443","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049426153","display_name":"Pengfei Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I105126617","display_name":"Zhejiang International Studies University","ror":"https://ror.org/01vwvvq12","country_code":"CN","type":"education","lineage":["https://openalex.org/I105126617"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pengfei Gu","raw_affiliation_strings":["Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","institution_ids":["https://openalex.org/I105126617","https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101913383","display_name":"Yuteng Zhang","orcid":"https://orcid.org/0000-0003-1839-6421"},"institutions":[{"id":"https://openalex.org/I105126617","display_name":"Zhejiang International Studies University","ror":"https://ror.org/01vwvvq12","country_code":"CN","type":"education","lineage":["https://openalex.org/I105126617"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuteng Zhang","raw_affiliation_strings":["Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","institution_ids":["https://openalex.org/I105126617","https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100457678","display_name":"Zhe Chen","orcid":"https://orcid.org/0000-0002-2919-4481"},"institutions":[{"id":"https://openalex.org/I105126617","display_name":"Zhejiang International Studies University","ror":"https://ror.org/01vwvvq12","country_code":"CN","type":"education","lineage":["https://openalex.org/I105126617"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Chen","raw_affiliation_strings":["Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","institution_ids":["https://openalex.org/I105126617","https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103908440","display_name":"Chun Zhao","orcid":"https://orcid.org/0000-0003-4925-8793"},"institutions":[{"id":"https://openalex.org/I78675632","display_name":"Beijing Information Science & Technology University","ror":"https://ror.org/04xnqep60","country_code":"CN","type":"education","lineage":["https://openalex.org/I78675632"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chun Zhao","raw_affiliation_strings":["School of Computer, Beijing Information Science and Technology University (BISTU), Taihang Rd 55, Changpin District, Beijing 102206, China"],"raw_orcid":"https://orcid.org/0000-0003-4925-8793","affiliations":[{"raw_affiliation_string":"School of Computer, Beijing Information Science and Technology University (BISTU), Taihang Rd 55, Changpin District, Beijing 102206, China","institution_ids":["https://openalex.org/I78675632"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007978888","display_name":"Kunyu Xie","orcid":"https://orcid.org/0000-0003-1210-7641"},"institutions":[{"id":"https://openalex.org/I105126617","display_name":"Zhejiang International Studies University","ror":"https://ror.org/01vwvvq12","country_code":"CN","type":"education","lineage":["https://openalex.org/I105126617"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kunyu Xie","raw_affiliation_strings":["Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","institution_ids":["https://openalex.org/I105126617","https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101394955","display_name":"Zhuoyi Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I105126617","display_name":"Zhejiang International Studies University","ror":"https://ror.org/01vwvvq12","country_code":"CN","type":"education","lineage":["https://openalex.org/I105126617"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuoyi Wu","raw_affiliation_strings":["Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","institution_ids":["https://openalex.org/I105126617","https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100418969","display_name":"Zhang Li","orcid":"https://orcid.org/0000-0003-1989-6102"},"institutions":[{"id":"https://openalex.org/I105126617","display_name":"Zhejiang International Studies University","ror":"https://ror.org/01vwvvq12","country_code":"CN","type":"education","lineage":["https://openalex.org/I105126617"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lin Zhang","raw_affiliation_strings":["Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China"],"raw_orcid":"https://orcid.org/0000-0003-1989-6102","affiliations":[{"raw_affiliation_string":"Hangzhou International Innovation Institute, Beihang University, 166 Shuanghongqiao Street, Pingyao Town, Yuhang District, Hangzhou 311115, China","institution_ids":["https://openalex.org/I105126617","https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Xueyuan Road No. 37, Haidian, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Intelligent Manufacturing Systems Technology, Yongding Road No. 51, Haidian, Beijing 100854, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100418969"],"corresponding_institution_ids":["https://openalex.org/I105126617","https://openalex.org/I82880672"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1732},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1732},"fwci":1.9008,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.86105186,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"12","issue":"10","first_page":"443","last_page":"443"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.8416869640350342},{"id":"https://openalex.org/keywords/requirements-traceability","display_name":"Requirements traceability","score":0.6283004879951477},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5437355041503906},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.49127453565597534},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4896405339241028},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2839938998222351},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.2596985697746277},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.23398160934448242},{"id":"https://openalex.org/keywords/requirement","display_name":"Requirement","score":0.06716278195381165},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.04561173915863037}],"concepts":[{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.8416869640350342},{"id":"https://openalex.org/C35084680","wikidata":"https://www.wikidata.org/wiki/Q848201","display_name":"Requirements traceability","level":5,"score":0.6283004879951477},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5437355041503906},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.49127453565597534},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4896405339241028},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2839938998222351},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.2596985697746277},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.23398160934448242},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.06716278195381165},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.04561173915863037}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/systems12100443","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems12100443","pdf_url":null,"source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:19eca24f51d34f6ca9d5edc015854ec9","is_oa":true,"landing_page_url":"https://doaj.org/article/19eca24f51d34f6ca9d5edc015854ec9","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Systems, Vol 12, Iss 10, p 443 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/systems12100443","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems12100443","pdf_url":null,"source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4099999964237213}],"awards":[{"id":"https://openalex.org/G7358085591","display_name":null,"funder_award_id":"2023YFB3308201","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1881519436","https://openalex.org/W1980921642","https://openalex.org/W1995953313","https://openalex.org/W2005075146","https://openalex.org/W2056167709","https://openalex.org/W2065457963","https://openalex.org/W2074102013","https://openalex.org/W2090523872","https://openalex.org/W2103103282","https://openalex.org/W2148113117","https://openalex.org/W2757241660","https://openalex.org/W2766384451","https://openalex.org/W2787580752","https://openalex.org/W2792067904","https://openalex.org/W2800829932","https://openalex.org/W2802595949","https://openalex.org/W2892497474","https://openalex.org/W2892977745","https://openalex.org/W2900720765","https://openalex.org/W2912814862","https://openalex.org/W2923288591","https://openalex.org/W2940272121","https://openalex.org/W2972065486","https://openalex.org/W3015954106","https://openalex.org/W3168151090","https://openalex.org/W3171370315","https://openalex.org/W3189133269","https://openalex.org/W3204384228","https://openalex.org/W4224092687","https://openalex.org/W4224447359","https://openalex.org/W4233343645","https://openalex.org/W4286213843","https://openalex.org/W4293082808","https://openalex.org/W4301781841","https://openalex.org/W4323316879","https://openalex.org/W4392575496","https://openalex.org/W4396521155","https://openalex.org/W6607564432","https://openalex.org/W6641771446","https://openalex.org/W6810247306","https://openalex.org/W6866763551"],"related_works":["https://openalex.org/W4312646443","https://openalex.org/W2129559874","https://openalex.org/W1203831901","https://openalex.org/W1604969957","https://openalex.org/W4312234739","https://openalex.org/W2166528905","https://openalex.org/W2354227496","https://openalex.org/W4252654202","https://openalex.org/W1589012229","https://openalex.org/W2537685693"],"abstract_inverted_index":{"Formal":[0],"requirements":[1,67,125],"modeling":[2,37,88,107,148],"and":[3,27,48,51,56,65,80,89,120,129,149,166],"traceability":[4,25,49,78,127],"management":[5,50],"are":[6],"essential":[7],"for":[8,39,45,52,75,104,115,124,157],"effectively":[9],"implementing":[10],"Model-Based":[11],"Systems":[12],"Engineering":[13],"(MBSE).":[14],"However,":[15],"few":[16],"studies":[17],"have":[18],"explored":[19],"the":[20,35,84,90,101,135,145,158,164,176],"integration":[21],"of":[22,168,178],"requirement":[23,46,76,106,118],"modeling,":[24,77,126],"management,":[26,79,128],"verification":[28,130],"within":[29],"MBSE-based":[30],"systems":[31],"engineering":[32],"methodologies.":[33],"Moreover,":[34],"predominant":[36],"language":[38,92,137],"MBSE,":[40],"SysML,":[41],"lacks":[42],"sufficient":[43],"capabilities":[44],"description":[47],"depicting":[53],"physical":[54],"attributes":[55],"executable":[57],"capabilities,":[58],"making":[59],"it":[60],"challenging":[61],"to":[62],"verify":[63],"functional":[64],"non-functional":[66],"collaboratively.":[68],"This":[69],"paper":[70],"proposes":[71],"an":[72,113,121,179],"integrated":[73,87,122,147],"approach":[74,170],"verification,":[81],"building":[82],"on":[83,109,144],"previously":[85],"proposed":[86],"simulation":[91,150],"called":[93],"X":[94,110,136,159],"language.":[95,160],"Our":[96],"contributions":[97],"primarily":[98],"include":[99],"defining":[100],"ReqXL":[102],"specification":[103],"MBSE-oriented":[105],"based":[108],"language,":[111],"proposing":[112],"algorithm":[114],"automatically":[116],"generating":[117],"traces,":[119],"framework":[123],"was":[131],"developed":[132],"by":[133],"combining":[134],"with":[138],"ReqXL.":[139],"These":[140],"functionalities":[141],"were":[142],"customized":[143],"self-developed":[146],"platform,":[151],"XLab,":[152],"which":[153],"is":[154],"specifically":[155],"tailored":[156],"Furthermore,":[161],"we":[162],"showcase":[163],"efficacy":[165],"promise":[167],"our":[169],"through":[171],"a":[172],"case":[173],"study":[174],"involving":[175],"design":[177],"aircraft":[180],"electrical":[181],"system.":[182]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}