Flight chaos caused by software defect, says air traffic control body