1. 1MITRE, “System Safety Study of Minimum TCAS II,” Tech. Rep. MTR-83W241, MITRE, 1983.
2. 2Drumm, A. “Lincoln Laboratory Evaluation of TCAS II Logic Version 6.04a,” Tech. Rep. MIT-LIN-ATC-240, MIT Lincoln Laboratory, 1996.
3. 3McLaughlin, M. P. “Safety Study of the Traffic Alert and Collision Avoidance System (TCAS II),” Tech. Rep. MTR 97W32, MITRE Corporation, June 1997.
4. 4Chludzinski, B. “Lincoln Laboratory Evaluation of TCAS II Logic Version 7,” Tech. Rep. MIT-LIN-ATC-268, MIT Lincoln Laboratory, 1999.
5. 5Arino, T., Carpenter, K., Chabert, S., Hutchinson, H., Miquel, T., Raynaud, B., Rigotti, K., and Vallauri, E. “Studies on the Safety of ACAS II in Europe,” Tech. Rep. ACASA/WP-1.8/210D, Eurocontrol, 2002.