Safety and human error in automated air traffic control | IET Conference Publication | IEEE Xplore