Comparison of Collision Avoidance Logic between ACAS X and TCAS II in General Aviation Flight | IEEE Conference Publication | IEEE Xplore