Collision risk estimation in terminal area airspace | IEEE Conference Publication | IEEE Xplore