Lateral collision risk analysis in air traffic | IEEE Conference Publication | IEEE Xplore