The future of air traffic control : human operators and automation / Christopher D. Wickens [and others], editors ; Panel on Human Factors in Air Traffic Control Automation, Commission on Behavioral and Social Sciences and Education, National Research Council