A correct and scalable deadlock avoidance policy for flexible manufacturing systems | IEEE Journals & Magazine | IEEE Xplore