Discrete-event system simulation by Jerry Banks