A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems | IEEE Journals & Magazine | IEEE Xplore