Future airborne collision avoidance — Design principles, analysis plan and algorithm development | IEEE Conference Publication | IEEE Xplore