Analysis of validated error bounds of surface-to-surface intersection. - Ko, Kwang Hee; Patrikalakis, Nicholas M. (Comput. Aided Des., 2008)