Model-Based Design of Air Traffic Controller-Automation Interaction Stephan Romahn, Todd J. Callantine, Everett A Palmer
