Aircraft and weather models for probabilistic collision avoidance in air traffic control | IEEE Conference Publication | IEEE Xplore