Computation and analysis of aircraft proximities in the NAS using ETMS data | IEEE Conference Publication | IEEE Xplore