Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior | IEEE Journals & Magazine | IEEE Xplore