Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events. - Park, Jonghun; Reveliotis, Spyros A. (2002)