Specification and synthesis of control software for flexible manufacturing systems. - Patricia Gutierrez-Robles; Ernesto López-Mellado; Antonio Ramírez-Treviño (SMC, 2000)