Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance ModelingWilliam J. Stewart