Exploring and Validating the Altitude Reporting Trajectory Update Algorithm for TCAS in Dense Airspace | IEEE Conference Publication | IEEE Xplore