Real-Time Management of Resource Allocations Systems A Discrete Event Systems Approach - Reveliotis, Spyros A. (Springer US, 2005)