[1] D., Cox and H., Miller, The Theory of Stochastic Processes. Chapman and Hall, 1965.

[2] J. G., Kemeny and J. L., Snell, Finite Markov Chains. Springer, 1983.

[3] K., Trivedi, Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2nd edn. John Wiley & Sons, 2001.

[4] V. G., Kulkarni, Modeling and Analysis of Stochastic Systems. Chapman and Hall, 1995.

[5] B., Sericola, Markov Chains: Theory and Applications. John Wiley & Sons, 2013.

[6] G., Rubino and B., Sericola, Markov Chains and Dependability Theory. Cambridge University Press, 2014.

[7] W., Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.

[8] E., Cinlar, Introduction to Stochastic Processes. Prentice-Hall, 1975.

[9] A., Reibman and K., Trivedi, “Transient analysis of cumulative measures of Markov chain behavior,” Stochastic Models, vol. 5, pp. 683–710, 1989.Google Scholar

[10] Y., Liu and K., Trivedi, “Survivability quantification: The analytical modeling approach,” International Journal of Performability Engineering, vol. 2, no. 1, p. 29, 2006.Google Scholar

[11] H., Sukhwani, A., Bobbio, and K., Trivedi, “Largeness avoidance in availability modeling using hierarchical and fixed-point iterative techniques,” International Journal of Performability Engineering, vol. 11, no. 4, pp. 305–319, 2015.Google Scholar

[12] R., Peng, Q., Zhai, L., Xing, and J., Yang, “Reliability of 1-out-of-(n+1) warm standby systems subject to fault level coverage,” International Journal of Performability Engineering, vol. 9, no. 1, pp. 117–120, 2013.

[13] L., Tomek and K., Trivedi, “Fixed point iteration in availability modeling,” in Proc. 5th Int. GI/ITG/GMA Conf. on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment. Springer-Verlag, 1991, pp. 229–240.

[14] R., Howard, Dynamic Probabilistic Systems, Volume II: Semi-Markov and Decision Processes. John Wiley & Sons, 1971.

[15] A., Reibman, R., Smith, and K., Trivedi, “Markov and Markov reward model transient analysis: An overview of numerical approaches,” European Journal of Operational Research, vol. 40, pp. 257–267, 1989.Google Scholar

[16] W., Sanders and J., Meyer, “A unified approach for specifying measures of performance, dependability and performability,” in Dependable Computing for Critical Applications, ser. Dependable Computing and Fault-Tolerant Systems, eds. A., Avižienis and J.-C., Laprie. Springer, 1991, vol. 4, pp. 215–237.

[17] K., Lampka and M., Siegle, “A symbolic approach to the analysis of multi-formalismMarkov reward models,” in Theory and Application ofMulti-Formalism Modeling, eds.M., Gribaudo and M., Iacono. IGI-Global, 2014, ch. 91, pp. 170–195.

[18] A., Goyal, S., Lavenberg, and K., Trivedi, “Probabilistic modeling of computer system availability,” Annals of Operations Research, vol. 8, pp. 285–306, 1987.Google Scholar

[19] U., Sumita, J., Shanthikumar, and Y., Masuda, “Analysis of fault tolerant computer systems,” Microelectronics and Reliability, vol. 27, pp. 65–78, 1987.Google Scholar

[20] D., Heimann, N., Mittal, and K., Trivedi, “Availability and reliability modeling for computer systems,” in Advances in Computers, ed. M., Yovits, vol. 31. Academic Press, 1990, pp. 176–231.

[21] K., Trivedi, J., Muppala, S., Woolet, and B., Haverkort, “Composite performance and dependability analysis,” Performance Evaluation, vol. 14, pp. 197–215, 1992.Google Scholar

[22] V., Kulkarni, V., Nicola, and K., Trivedi, “On modeling the performance and reliability of multi-mode computer systems,” The Journal of Systems and Software, vol. 6, pp. 175–183, 1986.Google Scholar

[23] R., Smith, K., Trivedi, and A., Ramesh, “Performability analysis: Measures, an algorithm and a case study,” IEEE Transactions on Computers, vol. C-37, pp. 406–417, 1988.Google Scholar

[24] V., Nicola, A., Bobbio, and K., Trivedi, “A unified performance reliability analysis of a system with a cumulative down time constraint,” Microelectronics and Reliability, vol. 32, pp. 49–65, 1992.Google Scholar

[25] H., Nabli and B., Sericola, “Performability analysis: A new algorithm,” IEEE Transactions on Computers, vol. 45, pp. 491–494, 1996.Google Scholar

[26] B. R., Haverkort, R., Marie, G., Rubino, and K. S., Trivedi (eds.), Performability Modelling: Techniques and Tools. John Wiley & Sons, 2001.

[27] R., German, A. van, Moorsel, M., Qureshi, and W., Sanders, “Expected impulse rewards in Markov regenerative stochastic petri nets,” in Application and Theory of Petri Nets 1996, ser. Lecture Notes in Computer Science, eds. J., Billington and W., Reisig. Springer, 1996, vol. 1091, pp. 172–191.

[28] R., Ghosh, D., Kim, and K., Trivedi, “System resiliency quantification using non-state-space and state-space analytic models,” Reliability Engineering and System Safety, vol. 116, pp. 109–125, 2013.Google Scholar

[29] K., Trivedi, R., Vasireddy, D., Trindade, S., Nathan, and R., Castro, “Modeling high availability systems,” in Proc. IEEE Pacific Rim Int. Symp. on Dependable Computing (PRDC), 2006.

[30] K. S., Trivedi, D., Wang, J., Hunt, A., Rindos, W. E., Smith, and B., Vashaw, “Availability modeling of SIP protocol on IBMc WebSpherec,” in Proc. Pacific Rim Int. Symp. on Dependable Computing (PRDC), 2008, pp. 323–330.Google Scholar

[31] A., Oodan, K., Ward, C., Savolaine, M., Daneshmand, and P., Hoath, “Telecommunications quality of service management: From legacy to emerging services,” info, vol. 5, no. 4, p. 45, 2003.Google Scholar

[32] C., Johnson, Y., Kogan, Y., Levy, F., Saheban, and P., Tarapore, “VOIP reliability: A service provider's perspective,” IEEE Communications Magazine, vol. 42, no. 7, pp. 48–54, Jul. 2004.Google Scholar

[33] Cisco Systems, Inc., Introduction to Performance Management, Cisco Systems, 2004.

[34] S., Mondal, X., Yin, J., Muppala, J. Alonso, Lopez, and K. S. Trivedi, “Defects per million computation in service-oriented environments,” IEEE Transactions on Services Computing, vol. 8, no. 1, pp. 32–46, Jan. 2015.Google Scholar

[35] W. E., Smith, K. S., Trivedi, L., Tomek, and J., Ackaret, “Availability analysis of blade server systems,” IBM Systems Journal, vol. 47, no. 4, pp. 621–640, 2008.Google Scholar

[36] M., Grottke and K. S., Trivedi, “Fighting bugs: Remove, retry, replicate, and rejuvenate,” IEEE Computer, vol. 40, no. 2, pp. 107–109, 2007.Google Scholar

[37] J. T., Blake, A. L., Reibman, and K. S., Trivedi, “Sensitivity analysis of reliability and performability measures for multiprocessor systems,” SIGMETRICS Performance Evaluation Review, vol. 16, no. 1, pp. 177–186, May 1988.Google Scholar

[38] R. de S., Matos, P. R. M., Maciel, F., Machida, D. S., Kim, and K. S., Trivedi, “Sensitivity analysis of server virtualized system availability,” IEEE Transactions on Reliability, vol. 61, no. 4, pp. 994–1006, 2012.Google Scholar

[39] N., Sato and K. S., Trivedi, “Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks,” in Proc. 5th Int. Conf. Service-Oriented Computing (ICSOC), 2007, pp. 107–118.Google Scholar

[40] Z., Zheng, K., Trivedi, K., Qiu, and R., Xia, “Semi-Markov models of composite web services for their performance, reliability and bottlenecks,” IEEE Transactions on Services Computing, vol. 6, no. 1, 2016.Google Scholar

[41] G., Ciardo, A., Blakemore, P. F., Chimento, J. K., Muppala, and K., Trivedi, “Automated generation and analysis of Markov reward models using stochastic reward nets,” in Linear Algebra, Markov Chains, and Queueing Models, ser. IMA Volumes in Mathematics and its Applications, eds. C. D., Meyer and R. J., Plemmons, Springer, 1993, vol. 48, pp. 145–191.

[42] M., Beaudry, “Performance-related reliability measures for computing systems,” IEEE Transactions on Computers, vol. C-27, pp. 540–547, 1978.Google Scholar

[43] G., Bolch, S., Greiner, H. de, Meer, and K. S., Trivedi, Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, 2nd ed. Wiley-Interscience, Apr. 2006.

[44] J., Meyer, “On evaluating the performability of degradable systems,” IEEE Transactions on Computers, vol. C-29, pp. 720–731, 1980.Google Scholar

[45] R., Sahner, K., Trivedi, and A., Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.

[46] T., Dayar, Analyzing Markov chains using Kronecker Products: Theory and Applications. Springer Science & Business Media, 2012.