Considerations in the design of an air traffic management system | IEEE Conference Publication | IEEE Xplore