Large scale computation and information processing in air traffic control | lit.salon