Probabilistic multi-aircraft conflict detection approach for trajectory-based operation. (October 2018)