Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective - Huang (IEEE, 2020)