Computer-aided programming of industrial robots