Automatic commercial aircraft-collision avoidance in free flight: the three-dimensional problem | IEEE Journals & Magazine | IEEE Xplore