Ed Williams Airborne Collision Avoidance System. 97-110 2004 conf/scs/2004 SCS http://crpit.com/confpapers/CRPITV47Williams.pdf db/conf/scs/scs2004.html#Williams04