Aligning Models with Their Realization Through Model-Based Systems Engineering | AMiner