Graphical simulation & automatic verification of NC machining programs. - Ugur A. Sungurtekin; Herbert B. Voelcker (ICRA, 1986)