Text this: Computer program development specification for the air traffic control subsystem of the man-vehicle systems research facility /