An integrated approach to modeling distributed manufacturing control and human operators | IEEE Conference Publication | IEEE Xplore