The failure led to more than 2,000 flights being cancelled and hundreds of thousands of passengers affected.
Flight chaos caused by millisecond software defect, says air traffic control body