computer software for air traffic control and aircraft performance analysis and user manuals therefor