A next generation architecture for air traffic management systems | IEEE Conference Publication | IEEE Xplore