Scalable and Maximally-Permissive Deadlock Avoidance for FMS. - P. Kumar; K. Kothandaraman; P. Ferreira (ICRA, 1998)