A Model-Based Systems Engineering Approach To Refueling Satellites