Graphical simulation & automatic verification of NC machining programs | IEEE Conference Publication | IEEE Xplore