Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging …