A next generation architecture for air traffic management systemsHybrid control models of next generation air traffic management
