Impact of navigation accuracy on the intervention rate in a highly automated air traffic control system | IEEE Conference Publication | IEEE Xplore