Real-Time Management of Resource Allocations Systems A Discrete Event Systems Approach - Reveliotis, Spyros A. (Springer Science+Business Media, Inc., 2005)