computer programs to simulate air traffic control and to assist air traffic controllers in air space modeling studies