A Case Study in Air-Traffic Control