Abstract: Model-Based Systems Engineering (MBSE) has emerged as a promising paradigm to manage increasing engineering complexity of safety-critical systems. One significant challenge impeding the ...