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