Probabilistic bounds in air traffic conflict resolution. - Daniele Cecchi; Lorenzo Pollini; Mario Innocenti (ACC, 2003)