Model-Based Systems Engineering Helps GPS Upgrade