Aligning Models with Their Realization through Model-based Systems Engineering