Probability & Statistics With Reliability Queuing , & Computer Sci. A. - K. S. Trivedi (Prentice Hall New York, 2005)