Trustworthy AI: UK Air Traffic Control Revisited