FAA RD (series). 71-95. Collision avoidance system analysis, final report, v. 1 [with list of references; by] P. C. Colombo and P. M. Wackerhagen.