Papers

Bart Römgens, Erwin Mooij, and Marc Naeije.  "Satellite Collision Avoidance Prediction Using Verified Interval Orbit Propagation", Journal of Guidance, Control, and Dynamics, Vol. 36, No. 3 (2013), pp. 821-832. [link]
 
Bart Römgens, Erwin Mooij, and Marc Naeije. "Verified Interval Orbit Propagation in Satellite Collision Avoidance", AIAA Guidance, Navigation, and Control Conference (2011) [PDF] [link]