Demonstration of an Automated Control Synthesis Tool for Manufacturing. - Praveen Yasarapu; Lawrence E. Holloway (IS, 2000)