A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems. - Murat Uzam; ZhiWu Li 001; Gökhan Gelen; Rabiu Saleh Zakariyya (J. Intell. Manuf., 2016)