Testing Safety-Critical Systems Using Model-Based Systems Engineering (Mbse)