A knowledge-based supervision model for machine tools | IEEE Conference Publication | IEEE Xplore