Spyros A. Reveliotis, Placid M. Ferreira: Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case. ICRA 1996: 533-538