Simultaneous design of cockpit display of traffic information and air traffic management procedures | IEEE Conference Publication | IEEE Xplore