Toward 4-D Trajectory Management in Air Traffic Control: A Study Based on Monte Carlo Simulation and Reachability Analysis | IEEE Journals & Magazine | IEEE Xplore