Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. - Hyunbo Cho; T. K. Kumaran; Richard A. Wysk (IEEE Trans. Robotics Autom., 1995)