[1] IEC 60050, International Electrotechnical Vocabulary: Chapter 191: Dependability and Quality of Service. IEC Standard No. 60050-191, 2nd edn., 2001.

[2] S. C., Lee and D. M., Gregg, “From art to science: A vision for the future of information assurance,” Johns Hopkins APL Technical Digest, vol. 26, pp. 334–342, 2005.Google Scholar

[3] H., Cramer, Mathematical Methods of Statistics. Princeton University Press, 1945.

[4] D., Kececioglu, Reliability and Life Testing Handbook. Available from the author, Vols. I and II, 1994.

[5] J. F., Lawless, Statistical Models and Methods for Lifetime Data. 2nd edn. Wiley, 2002.

[6] L., Leemis, Reliability: Probabilistic Models and Statistical Methods. 2nd edn. Lightning Source, 2009.

[7] P. A., Tobias and D., Trindade, Applied Reliability, 3rd edn. Chapman and Hall, CRC, 2011.

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

[9] G., Iversen and H., Norpoth, Analysis of Variance, 2nd edn. Sage, 1987.

[10] D., Montgomery, Design and Analysis of Experiments, 8th edn. John Wiley & Sons, 2012.

[11] G. E. P., Box, G. M., Jenkins, and G. C., Reinsel, Time Series Analysis: Forecasting and Control, 4th edn. Wiley, 2008.

[12] J., Alonso, M., Grottke, A., Nikora, and K. S., Trivedi, “The nature of the times to flight software failure during space missions,” in Proc. IEEE Int. Symp. on Software Reliability Engineering (ISSRE), 2012.

[13] M., Grottke, A., Nikora, and K., Trivedi, “An empirical investigation of fault types in space mission system software,” in IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN), 2010, pp. 447–456.Google Scholar

[14] T., Dohi, K., Goševa-Popstojanova, and K., Trivedi, “Estimating software rejuvenation schedules in high-assurance systems,” The Computer Journal, vol. 44, no. 6, pp. 473–485, 2001.Google Scholar

[15] W. B., Nelson, Accelerated Testing: Statistical Models, Test Plans, and Data Analysis, 1st edn. Wiley-Interscience, 2004.

[16] R., Matias, P., Barbetta, K., Trivedi, and P., Filho, “Accelerated degradation tests applied to software aging experiments,” IEEE Transactions on Reliability, vol. 59, no. 1, pp. 102–114, 2010.Google Scholar

[17] J., Zhao, Y.Wang, G., Ning, K. S., Trivedi, R., Matias, and K., Cai, “A comprehensive approach to optimal software rejuvenation,” Performance Evaluation, vol. 70, no. 11, pp. 917–933, 2013.Google Scholar

[18] J. Bechta, Dugan and K., Trivedi, “Coverage modeling for dependability analysis of fault-tolerant systems,” IEEE Transactions on Computers, vol. 38, no. 6, pp. 775–787, Jun. 1989.Google Scholar

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

[20] M., Hsueh, T., Tsai, and R., Iyer, “Fault injection techniques and tools,” IEEE Computer, vol. 30, no. 4, pp. 75–82, Apr. 1997.Google Scholar

[21] R. K., Iyer, N., Nakka, W., Gu, and Z., Kalbarczyk, “Fault injection,” in Encyclopedia of Software Engineering, Nov 2010, ch. 29, pp. 287–299.

[22] J., Peterson, Petri Net Theory and the Modeling of Systems. Prentice Hall, 1981.

[23] M., Ouyang, “Review on modeling and simulation of interdependent critical infrastructure systems,” Reliability Engineering and System Safety, vol. 121, pp. 43–60, 2014.Google Scholar

[24] The International Marine Contractors Association, Guidance on Failure Modes & Effects Analyses (FMEAs). IMCA M 166, 2002.

[25] R., McDermott, R., Mikulak, and M., Beauregard, The Basics of FMEA, 2nd edn. Productivity Press, 2008.

[26] IEC 60812, Analysis Techniques for System Reliability – Procedure for Failure Mode and Effects Analysis (FMEA). IEC Standard No. 60812, 2nd edn., 2006.

[27] C., Carlson, Effective FMEAs: Achieving Safe, Reliable, and Economical Products and Processes using Failure Mode and Effects Analysis. John Wiley & Sons, 2012.

[28] ICH Expert Working Group, Qualitative Risk Management – Q9. ICH Harmonised Tripartite Guideline, 2005.

[29] N., Piccinini and I., Ciarambino, “Operability analysis devoted to the development of logic trees,” Reliability Engineering and System Safety, vol. 55, pp. 227–241, 1997.Google Scholar

[30] J., McDermid and D., Pumfrey, “A development of hazard analysis to aid software design,” in Proc. 9th Ann. Conf. on Computer Assurance (COMPASS '94), 1994, pp. 17–25.Google Scholar

[31] T., Arnold, “The concept of coverage and its effect on the reliability model of a repairable system,” IEEE Transaction on Computers, vol. C-22, pp. 251–254, 1973.Google Scholar

[32] H., Amer and E., McCluskey, “Calculation of coverage parameters,” IEEE Transactions on Reliability, vol. R-36, pp. 194–198, 1987.Google Scholar

[33] S., Amari, A., Myers, A., Rauzy, and K. S., Trivedi, “Imperfect coverage models: Status and trends,” in Handbook of Performability Engineering, ed. K. B., Misra. Springer, 2008, pp. 321–348.

[34] S. J., Bavuso, J. Bechta, Dugan, K., Trivedi, E. M., Rothmann, and W. E., Smith, “Analysis of typical fault-tolerant architectures using HARP,” IEEE Transactions on Reliability, vol. R-36, no. 2, pp. 176–185, Jun. 1987.Google Scholar

[35] D., Codetta-Raiteri and L., Portinale, “Dynamic Bayesian networks for fault detection, identification, and recovery in autonomous spacecraft,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, no. 1, pp. 13–24, Jan. 2015.Google Scholar

[36] 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

[37] D., Tang and K., Trivedi, “Hierarchical computation of interval availability and related metrics,” in Proc. 2004 Int. Conf. on Dependable Systems and Networks (DSN), 2004, p. 693–698.Google Scholar

[38] H. de, Meer, K. S., Trivedi, and M. Dal, Cin, “Guarded repair of dependable systems,” Theor. Comput. Sci., vol. 128, no. 1–2, pp. 179–210, 1994.Google Scholar

[39] J., Alonso, R., Matias, E., Vicente, A., Maria, and K. S., Trivedi, “A comparative experimental study of software rejuvenation overhead,” Perform. Eval., vol. 70, no. 3, pp. 231–250, 2013.Google Scholar

[40] G. J., Klir, Uncertainty and Information: Foundations of Generalized Information Theory. Wiley-Interscience, 2005.

[41] P., Limbourg, Dependability Modelling under Uncertainty. Springer, 2008.

[42] D., Coit, “System reliability confidence intervals for complex systems with estimated component reliability,” IEEE Transactions on Reliability, vol. 46, no. 4, pp. 487–493, Dec. 1997.Google Scholar

[43] K., Mishra and K. S., Trivedi, “Uncertainty propagation through software dependability models,” in Proc. IEEE Int. Symp. on Software Reliability Engineering (ISSRE), 2011, pp. 80–89.Google Scholar

[44] G., Ciardo, J., Muppala, and K. S., Trivedi, “SPNP: Stochastic Petri net package,” in Proc. Third Int. Workshop on Petri Nets and Performance Models, 1989, pp. 142–151.Google Scholar

[45] C., Hirel, B., Tuffin, and K. S., Trivedi, “SPNP: Stochastic Petri Nets. Version 6,” in Int. Conf. on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2000), LNCS 1786, 2000, pp. 354–357.Google Scholar

[46] D., Deavours, G., Clark, T., Courtney, D., Daly, S., Derisavi, J., Doyle, W. H., Sanders, andr P. G., Webster, “The Möbius framework and its implementation,” IEEE Transactions on Software Engineering, vol. 28, pp. 956–969, 2002.Google Scholar

[47] Wolfram Research Inc., Mathematica, 2010.

[48] 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.

[49] P. M., Frank, Introduction to System Sensitivity Theory. Academic Press, 1978, vol. 11.

[50] A., Bobbio and A., Premoli, “Fast algorithm for unavailability and sensitivity analysis of series-parallel systems,” IEEE Transactions on Reliability, vol. R-31, pp. 359–361, 1982.Google Scholar

[51] R., Matos, P., 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, Dec. 2012.Google Scholar

[52] 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. on Service-Oriented Computing, eds. B. J., Krämer, K.-J., Lin, and P., Narasimhan. Springer, 2007, pp. 107–118.

[53] L., Swiler, T., Paez, and R., Mayes, “Epistemic uncertainty quantification tutorial,” in Proc. IMAC-XXVII. Society for Experimental Mechanics Inc., 2009.

[54] A. D., Kiureghian and O., Ditlevsen, “Aleatory or epistemic? does it matter?” Structural Safety, vol. 31, no. 2, pp. 105–112, 2009.Google Scholar

[55] K., Mishra and K. S., Trivedi, “Closed-form approach for epistemic uncertainty propagation in analytic models,” in Stochastic Reliability and Maintenance Modeling, vol. 9. Springer Series in Reliability Engineering, 2013, pp. 315–332.

[56] M., Malhotra and K., Trivedi, “Power hierarchy among dependability model types,” IEEE Transactions on Reliability, vol. R-43, pp. 493–502, 1994.Google Scholar

[57] T. H., Naylor and J. M., Finger, “Verification of computer simulation models,” Management Science, vol. 14, no. 2, pp. B-92–B-101, 1967.Google Scholar

[58] J., Muppala, M., Malhotra, and K., Trivedi, “Markov dependability models of complex systems: Analysis techniques,” in Reliability and Maintenance of Complex Systems, ed. S., Özekici. Springer Verlag, 1996, pp. 442–486.

[59] R., Fricks and K., Trivedi, “Modeling failure dependencies in reliability analysis using stochastic Petri nets,” in Proc. European Simulation Multi-Conference (ESM '97), 1997.

[60] D., Wang, R., Fricks, and K. S., Trivedi, “Dealing with non-exponential distributions in dependability models,” in Performance Evaluation: Stories and Perspectives, ed. G., Kotsis, 2003, pp. 273–302.

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

[62] A. V., Ramesh and K. S., Trivedi, “On the sensitivity of transient solutions of Markov models,” SIGMETRICS Perform. Eval. Rev., vol. 21, no. 1, pp. 122–134, Jun. 1993.Google Scholar

[63] P. J., Courtois, Decomposability: Queueing and Computer System Applications. Academic Press, 1977.

[64] A., Bobbio and K. S., Trivedi, “An aggregation technique for the transient analysis of stiff Markov chains,” IEEE Transactions on Computers, vol. C-35, pp. 803–814, 1986.Google Scholar

[65] G., Ciardo and K., Trivedi, “A decomposition approach for stochastic reward net models,” Performance Evaluation, vol. 18, pp. 37–59, 1993.Google Scholar

[66] R. R., Muntz, E. de Souza e, Silva, and A., Goyal, “Bounding availability of repairable computer systems,” SIGMETRICS Perform. Eval. Rev., vol. 17, no. 1, pp. 29–38, Apr. 1989.Google Scholar

[67] J. K., Muppala, A., Sathaye, R., Howe, and K. S., Trivedi, “Hardware and software fault tolerance in parallel computing systems,” in Hardware and Software Fault Tolerance in Parallel Computing Systems, ed. D. R., Avresky. Ellis Horwood, 1992, pp. 33–59.

[68] P., Brameret, A., Rauzy, and J., Roussel, “Automated generation of partial Markov chain from high level descriptions,” Reliability Engineering & System Safety, vol. 139, pp. 179–187, 2015.Google Scholar

[69] V., Mainkar and K. S., Trivedi, “Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models,” IEEE Transactions on Software Engineering, vol. 22, no. 9, pp. 640–653, Sep. 1996.Google Scholar

[70] R., Ghosh, K. S., Trivedi, V., Naik, and D. S., Kim, “End-to-end performability analysis for infrastructure-as-a-service cloud: An interacting stochastic models approach,” in Proc. IEEE Pacific Rim Int. Symp. on Dependable Computing (PRDC), 2010, pp. 125–132.Google Scholar

[71] IEEE Reliability Society, “Annual international reliability physics symposium.” [Online]. Available: www.irps.org/

[72] K., Trivedi, A., Sathaye, O., Ibe, and R., Howe, “Should I add a processor?” in Proc. 23rd Ann. Hawaii Int. Conf. on System Sciences HICSS-23, 1990, pp. 214–221.Google Scholar

[73] IEC 61508, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. IEC Standard No. 61508, 2011.

[74] A., Moslehl, D. M., Rasmuson, and F. M., Marshall, “Guidelines on modeling common-cause failures in probabilistic risk assessment,” in NUREG/CR-5485. U.S. Nuclear Regulatory Commission, 1998, pp. 1–212.

[75] M., Stamatelatos and W., Vesely, Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, 2002, vol. 1.1.

[76] B., Martin and R., Wright, “A practical method of common cause failure modelling,” Reliability Engineering, vol. 19, no. 3, pp. 185–199, 1987.Google Scholar

[77] A., Avizienis and J.-C., Laprie, “Dependable computing: From concepts to design diversity,” Proceedings of the IEEE, vol. 74, no. 5, pp. 629–638, 1986.Google Scholar

[78] R., Barlow and F., Proschan, Mathematical Theory of Reliability. John Wiley & Sons, 1965.

[79] R., Barlow and F., Proschan, Statistical Theory of Reliability and Life Testing. Holt, Rinehart and Winston, 1975.

[80] M., Shooman, Probabilistic Reliability: An Engineering Approach. McGraw Hill, 1968.

[81] A., Birolini, Reliability Engineering: Theory and Practice, 6th edn. Springer Verlag, 2010.

[82] E. A., Elsayed, Reliability Engineering, 2nd edn. John Wiley & Sons, 2012.

[83] K., Kapur and M., Pecht, Reliability Engineering. John Wiley & Sons, 2014.