Iterative Negotiation and Oversight: A Case Study in Decentralized Air Traffic Management