Verification of Air Navigation Systems