NC Machine Interference and Collision Checking System Based on OpenCASCADE | IEEE Conference Publication | IEEE Xplore