Discrete event system simulation (Prentice Hall, 2001)