An approach to the verification of the Center-TRACON Automation System