Using an assurance case to support independent assessment of the transition to a new GPS ground control system