Collision risk modeling of air traffic. - Henk A. P. Blom; Bert G. J. Bakker; Mariken H. C. Everdij; Marco van der Park (ECC, 2003)