A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation SystemsZhennan Fei, Knut Åkesson|IEEE Transactions on Automation Science and Engineering|2014Cited by 20