Deadlock Resolution in Computer-Integrated Systems by Maria Pia Fanti & Zhou Mengchu Zhou