Discrete-event system simulation (Prentice-Hall, 2001)