Separation of air traffic by visual means: An estimate of the effectiveness of the see-and-avoid doctrine | IEEE Journals & Magazine | IEEE Xplore