Predictive air traffic software, with controllers still making the calls · Digg