Comment on The software errors that made NATS close UK airspace 2014-12-12 [pdf]parent