Fast-Time Numerical Validation of an ADS-B Based Automatic Separation Assurance and Collision Avoidance System | IEEE Conference Publication | IEEE Xplore