Advanced air traffic automation : a case study in distributed decentralized control