1. A Formal Model for Analysis and Control for Human-involved Computer Integrated Manufacturing Systems Open Access Author: Shin, Dongmin Title: A Formal Model for Analysis and Control for Human-involved Computer Integrated Manufacturing Systems Graduate Program: Industrial Engineering Keywords: Formal ModelControlComputer Integrated Manufacturing SystemsMaterial Handling File: Download Dissertation.pdf Committee Members: Richard Allen Wysk, Committee Chair/Co-ChairLing Rothrock, Committee Chair/Co-ChairTimothy William Simpson, Committee MemberAli R Hurson, Committee Member