X-RMTV: An Integrated Approach for Requirement Modeling, Traceability Management, and Verification in MBSE
Formal requirements modeling and traceability management are essential for effectively implementing Model-Based Systems Engineering (MBSE).However, few studies have explored the integration of requirement modeling, traceability management, and verification within MBSE-based systems engineering methodologies.Moreover, the predominant modeling langua