Automation and Systems Issues in Air Traffic Control