Guaranteed collision detection with toleranced motions. - Hans-Peter Schröcker; Matthias J. Weber (Comput. Aided Geom. Des., 2014)