Describing 4-D space for air traffic scheduling | IEEE Conference Publication | IEEE Xplore