Leram - Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach: 79