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