A next generation architecture for air traffic management systems