'Collision-proof' airspace: Reducing the risk of midair collisions is the goal of an air-traffic control system proposed by the FAA | IEEE Journals & Magazine | IEEE Xplore