A causal encounter model of traffic collision avoidance system operations for safety assessment and advisory optimization in high-density airspace | Publicación