Probability and Statistics with Reliability, Queuing and Computer Science Applications - Trivedi (Wiley, 2001)