Aircraft Conflict Analysis and Real-Time Conflict Probing Using Probabilistic Trajectory Modeling Lee C. Yang, James K Kuchar