[1] 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 edn. Wiley-Interscience, Apr. 2006.

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

[3] M. Ajmone, Marsan, G., Balbo, and G., Conte, “A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Transactions on Computer Systems, vol. 2, pp. 93–122, 1984.Google Scholar

[4] 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, eds. C. D., Meyer and R. J. Plemmons. Springer, 1993, vol. 48, pp. 145–191.

[5] B., Plateau and K., Atif, “Stochastic automata network for modeling parallel systems,” IEEE Transactions on Software Engineering, vol. 17, pp. 1093–1108, 1991.Google Scholar

[6] W., Sanders and J., Meyer, “Reduced base model construction methods for stochastic activity networks,” IEEE Journal on Selected Areas in Communications, vol. 9, no. 1, pp. 25–36, Jan. 1991.Google Scholar

[7] J., Hillston, A Compositional Approach to Performance Modelling. Cambridge University Press, 2005, vol. 12.

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

[9] P. J., Courtois, Decomposability: Queueing and Computer System Applications, ACM monograph series. Academic Press, 1977.

[10] P., Buchholz and P., Kemper, “Kronecker based matrix representations for large Markov models,” in Validation of Stochastic Systems: A Guide to Current Research, 2004, pp. 256–295.Google Scholar

[11] A., Benoit, B., Plateau, and W. J., Stewart, “Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems,” Future Generation Computer Systems, vol. 22, no. 7, pp. 838–847, 2006.Google Scholar

[12] Y., Bao, I., Bozkurt, T., Dayarl, X., Sun, and K., Trivedi, “Decompositional analysis of Kronecker structured Markov chains.” Electronic Transactions on Numerical Analysis, vol. 31, pp. 271–294, 2008 [electronic only].Google Scholar

[13] K. M., Chandy, U., Herzog, and L., Woo, “Parametric analysis of queuing networks,” IBM Journal of Research and Development, vol. 19, no. 1, pp. 36–42, Jan. 1975.Google Scholar

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

[15] G., Balbo, S., Bruell, and S., Ghanta, “Combining queueing network and generalized stochastic Petri nets for the solution of complex models of system behavior,” IEEE Transactions on Computers, vol. 37, pp. 1251–1268, 1988.Google Scholar

[16] R., Ghosh, F., Longo, V. K., Naik, and K. S., Trivedi, “Modeling and performance analysis of large-scale IaaS clouds,” Future Generation Computer Systems, vol. 29, no. 5, pp. 1216–1234, 2013.Google Scholar

[17] L., Lei, Y., Zhang, X. S., Shen, C., Lin, and Z., Zhong, “Performance analysis of device-to-device communications with dynamic interference using stochastic Petri nets,” IEEE Transactions on Wireless Communications, vol. 12, no. 12, pp. 6121–6141, Dec. 2013.Google Scholar

[18] X., Yin, X., Ma, and K., Trivedi, “An interacting stochastic models approach for the performance evaluation of DSRC vehicular safety communication,” IEEE Transactions on Computers, vol. 62, no. 5, pp. 873–885, May 2013.Google Scholar

[19] J. F., Meyer, “On evaluating the performability of degradable computing systems,” IEEE Transactions on Computers, vol. 29, no. 8, pp. 720–731, Aug. 1980.Google Scholar

[20] K., Trivedi, J., Muppala, S., Woolet, and B. R., Haverkort, “Composite performance and dependability analysis,” Performance Evaluation, vol. 14, no. 3-4, pp. 197–216, Feb. 1992.Google Scholar

[21] Y., Ma, J., Han, and K., Trivedi, “Composite performance and availability analysis of wireless communication networks,” IEEE Transactions on Vehicular Technology, vol. 50, no. 5, pp. 1216–1223, Sep. 2001.Google Scholar

[22] J., Blake and K., Trivedi, “Multistage interconnection network reliability,” IEEE Transactions on Computers, vol. C-38, pp. 1600–1604, 1989.Google Scholar

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

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

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

[26] M., Malhotra and K., Trivedi, “A methodology for formal expression of hierarchy in model solution,” in Proc. 5th Int. Workshop on Petri Nets and Performance Models, Oct 1993, pp. 258–267.Google Scholar

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

[28] T. H., Cormen, C. E., Leiserson, R. L., Rivest, and C., Stein, Introduction to Algorithms, 3rd edn. The MIT Press, 2009.

[29] S., Garg, A., Puliafito, M., Telek, and T., Trivedi, “Analysis of preventive maintenance in transactions based software systems,” IEEE Transactions on Computers,, vol. 47, no. 1, pp. 96–107, Jan. 1998.Google Scholar

[30] Y., Bao, X., Sun, and K. S., Trivedi, “A workload-based analysis of software aging, and rejuvenation,” IEEE Transactions on Reliability, vol. 54, no. 3, pp. 541–548, 2005.Google Scholar

[31] K., Vaidyanathan and K., Trivedi, “A comprehensive model for software rejuvenation,” IEEE Transactions on Dependable and Secure Computing, vol. 2, no. 2, pp. 124–137, Apr. 2005.Google Scholar

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

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

[34] R., Matos, J., Araujo, D., Oliveira, P., Maciel, and K., Trivedi, “Sensitivity analysis of a hierarchical model of mobile cloud computing,” Simulation Modelling Practice and Theory, vol. 50, pp. 151–164, 2015.Google Scholar

[35] M., Malhotra and K. S., Trivedi, “Reliability analysis of redundant arrays of inexpensive disks,” Journal of Parallel and Distributed Computing, vol. 17, pp. 146–151, 1993.Google Scholar

[36] K., Trivedi and R., Geist, “Decomposition in reliability analysis of fault-tolerant systems,” IEEE Transactions on Reliability, vol. R-32, no. 5, pp. 463–468, Dec. 1983.Google Scholar

[37] F., Machida, R., Xia, and K. S., Trivedi, “Performability modeling for raid storage systems by Markov regenerative process,” IEEE Transactions on Dependable and Secure Computing, vol. 67, 2016.Google Scholar

[38] J. G., Elerath and J., Schindler, “Beyond MTTDL: A closed-form RAID-6 reliability equation,” ACM Transactions on Storage (TOS), vol. 10, no. 2, p. 7, 2014.Google Scholar

[39] I., Iliadis and V., Venkatesan, “Rebuttal to ‘Beyond MTTDL: A closed-form RAID-6 reliability equation,”’ ACM Transactions on Storage (TOS), vol. 11, no. 2, pp. 9:1–9:10, Mar. 2015.Google Scholar

[40] A., Thomasian and Y., Tang, “Performance, reliability, and performability of a hybrid RAID array and a comparison with traditional RAID1 arrays,” Cluster Computing, vol. 15, no. 3, pp. 239–253, 2012.Google Scholar

[41] K., Hjelmgren, S., Svensson, and O., Hannius, “Reliability analysis of a single-engine aircraft FADEC,” in Proc. Ann. Reliability and Maintainability Symposium, 1998, pp. 401–407.Google Scholar

[42] L., Xing, “Reliability evaluation of phased-mission systems with imperfect fault coverage and common-cause failures,” IEEE Transactions on Reliability, vol. 56, no. 1, pp. 58–68, 2007.Google Scholar

[43] Y., Ma and K., Trivedi, “An algorithm for reliability analysis of phased-mission systems,” Reliability Engineering and System Safety, vol. 66, pp. 157–170, 1999.Google Scholar

[44] X., Zang, H., Sun, and K., Trivedi, “A BDD-based algorithm for reliability analysis of phased-mission systems,” IEEE Transactions on Reliability, vol. 48, pp. 50–60, 1999.Google Scholar

[45] J., McGough, A., Reibman, and K., Trivedi, “Markov reliability models for digital flight control systems,” AIAA Journal of Guidance, Control, and Dynamics, vol. 12, no. 2, pp. 209–219, 1989.Google Scholar

[46] B., Çekyay and S., Özekici, “Performance measures for systems with Markovian missions and aging,” IEEE Transactions on Reliability, vol. 61, no. 3, pp. 769–778, 2012.Google Scholar

[47] M., Smotherman and K., Zemoudeh, “A non-homogeneous Markov model for phased-mission reliability analysis,” IEEE Transactions on Reliability, vol. 38, no. 5, pp. 585–590, 1989.Google Scholar

[48] I., Mura, A., Bondavalli, X., Zang, and K. S., Trivedi, “Dependability modeling and evaluation of phased mission systems: A DSPN approach,” in IEEE DCCA-7, IFIP Int. Conf. on Dependable Computing for Critical Applications, San Jose, CA, USA, Jan. 6–8 1999, pp. 319–337.Google Scholar

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

[50] J., McGough, M., Smotherman, and K., Trivedi, “The conservativeness of reliability estimates based on instantaneous coverage,” IEEE Transactions on Computers, vol. C-34, pp. 602–609, 1985.Google Scholar

[51] W., Lee, D., Grosh, F., Tillman, and C., Lie, “Fault tree analysis, methods and applications: A review,” IEEE Transactions on Reliability, vol. R-34, pp. 194–203, 1985.Google Scholar

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

[53] J. B., Dugan, S., Bavuso, and M., Boyd, “Dynamic fault-tree models for fault-tolerant computer systems,” IEEE Transactions on Reliability, vol. 41, pp. 363–377, 1992.Google Scholar

[54] S., Junges, D., Guck, J., Katoen, and M., Stoelinga, “Uncovering dynamic fault trees,” in Proc. Int. Conf. on Dependable Systems and Networks, Jun. 2016.

[55] G., Merle, J., Roussel, J., Lesage, and A., Bobbio, “Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events,” IEEE Transactions on Reliability, vol. 59, no. 1, pp. 250–261, 2010.Google Scholar

[56] Y., Dutuit and A., Rauzy, “A linear-time algorithm to find modules of fault tree,” IEEE Transactions on Reliability, vol. 45, pp. 422–425, 1996.Google Scholar

[57] R., Gulati and J., Dugan, “A modular approach for analyzing static and dynamic fault-trees,” in Proc/ IEEE Ann. Reliability and Maintainability Symposium, 1997, pp. 57–63.Google Scholar

[58] J. B., Dugan, K., Sullivan, and D., Coppit, “Developing a low-cost high-quality software tool for dynamic fault-tree analysis,” IEEE Transactions on Reliability, vol. 49, no. 1, pp. 49–59, 2000.Google Scholar

[59] A., Bobbio and D., Codetta-Raiteri, “Parametric fault-trees with dynamic gates and repair boxes,” in Proc. Ann. Reliability and Maintainability Symp.. IEEE, Jan. 2004, pp. 459–465.

[60] D., Codetta-Raiteri, “The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation,” Electronic Notes on Theoretical Computer Science, vol. 127, pp. 45–60, 2005.Google Scholar

[61] D., Codetta-Raiteri, “Integrating several formalisms in order to increase fault trees' modeling power,” Reliability Engineering and System Safety, vol. 96, no. 5, pp. 534–544, 2011.Google Scholar

[62] L., Xing, O., Tannous, and J. B., Dugan, “Reliability analysis of nonrepairable cold-standby systems using sequential binary decision diagrams,” IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, vol. 42, no. 3, pp. 715–726, May 2012.Google Scholar

[63] D., Ge, D., Li, Q., Chou, R., Zhang, and Y., Yang, “Quantification of highly coupled dynamic fault tree using IRVPM and SBDD,” Quality and Reliability Engineering International, 2014.

[64] H., Boudali and J. B., Dugan, “A new Bayesian network approach to solve dynamic fault trees,” in Proc. Ann. Reliability and Maintainability Symposium, Jan. 2005, pp. 451–456.Google Scholar

[65] S., Montani, L., Portinale, A., Bobbio, and D., Codetta-Raiteri, “Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks,” Reliability Engineering and System Safety, vol. 93, pp. 922–932, 2008.Google Scholar

[66] L., Portinale and D., Codetta-Raiteri, Modeling and Analysis of Dependable Systems: A Probabilistic Graphical Model Perspective. World Scientific, 2015.

[67] K., Murphy, “Dynamic Bayesian networks: Representation, inference and learning,” Ph.d. Thesis, University of California, Berkeley, 2002.

[68] S., Montani, L., Portinale, and A., Bobbio, “Dynamic Bayesian networks for modeling advanced fault tree features in dependability analysis,” in Proc. 16th European Conf. on Safety and Reliability, Leiden, The Netherlands, AA Balkema, 2005, pp. 1415–1422.Google Scholar

[69] A., Bobbio, D., Codetta-Raiteri, L., Portinale, A., Guiotto, and Y., Yushtein, “A unified modelling and operational framework for fault detection, identification, and recovery in autonomous spacecrafts,” in Theory and Application of Multi-Formalism Modeling, eds. M., Gribaudo and M., Iacono. IGI-Global, 2014, ch. 11, pp. 239–258.

[70] M., Aleksy, M., Schader, and A., Schnell, “Design and implementation of a bridge between CORBA's notification service and the Java message service,” in Proc. 36th Ann. Int. Conf. on System Sciences, 2003.

[71] S., Ramani, K., Trivedi, and B., Dasarathy, “Performance analysis of the CORBA notification service,” in Proc. 20th Symp. on Reliable Distributed Systems, 2001, pp. 227–236.Google Scholar

[72] R., Wolff, “Poisson arrivals see time averages,” Operations Research, vol. 30, no. 2, pp. 223–231, 1982.Google Scholar

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

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

[75] S., Woolet, “Performance analysis of computer networks,” Ph.d. Thesis, Department of Computer Science, Duke University, 1993.

[76] B., Iyer, L., Donatiello, and P., Heidelberger, “Analysis of performability for stochastic models of fault-tolerant systems,” IEEE Transactions on Computers, vol. C-35, pp. 902–907, 1986.Google Scholar

[77] P., Chimento and K., Trivedi, “The completion time of programs on processors subject to failure and repair,” IEEE Transactions on Computers, vol. 42, pp. 1184–1194, 1993.Google Scholar

[78] V., Kulkarni, V., Nicola, and K., Trivedi, “The completion time of a job on a multi-mode system,” Advances in Applied Probability, vol. 19, pp. 932–954, 1987.Google Scholar

[79] S., Ramani, K., Goseva-Popstojanova, and K. S., Trivedi, “A framework for performability modeling of messaging services in distributed systems,” in Proc. 8th IEEE Int. Conf. on Engineering of Complex Computer Systems, Dec. 2002, pp. 25–34.Google Scholar

[80] S., Ramani, K. S., Trivedi, and B., Dasarathy, “Reliable messaging using the CORBA notification service,” in 3rd Int. Symp. on Distributed Objects and Applications, 2001, pp. 229–238.Google Scholar

[81] R., Pinciroli, K., Trivedi, and A., Bobbio, “Parametric sensitivity and uncertainty propagation in dependability models,” in Proc. 10th Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools 2016), 2016.

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

[83] G., Ciardo, R., Marie, B., Sericola, and K., Trivedi, “Performability analysis using semi-Markov reward processes,” IEEE Transactions on Computers, vol. 39, no. 10, pp. 1252–1264, 1990.Google Scholar

[84] T1A1.2 Working Group on Network Survivability Performance, Technical Report on Enhanced Network Survivability Performance. Standards Committee T1 Telecommunications, Feb. 2001.

[85] J., Laprie, “From dependability to resilience,” in Proc. Dependable Systems and Networks, 2008.

[86] L., Simoncini, “Resilient computing: An engineering discipline,” in Proc. IEEE Int. Symp. on Parallel Distributed Processing, May 2009.

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

[88] Y., Liu and K. S., Trivedi, “A general framework for network survivability quantification,” Proc. 12th GI/ITG Conf. on Measuring, Modelling and Evaluation of Computer and Communication Systems, 2004, pp. 369–378.Google Scholar

[89] Y., Liu, V., Mendiratta, and K., Trivedi, “Survivability analysis of telephone access network,” in Proc. 15th Int. Symp. on Software Reliability Engineering, 2004, pp. 367–378.Google Scholar

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

[91] P., Heegaard and K., Trivedi, “Survivability quantification of communication services,” in Proc. 38th Ann. IEEE/IFIP Int. Conf. on Dependable Systems and Networks, 2008, pp. 462–471.Google Scholar

[92] D., Chen, S., Garg, and K., Trivedi, “Network survivability performance evaluation: A quantitative approach with applications in wireless ad-hoc networks,” in Proc. 5th ACMInt. Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems, ACM, 2002, pp. 61–68.

[93] O. C., Ibe, R. C., Howe, and K. S., Trivedi, “Approximate availability analysis of VAXcluster systems,” IEEE Transactions on Reliability, vol. 38, no. 1, pp. 146–152, 1989.Google Scholar

[94] M., Lanus, Y., Liang, and K., Trivedi, “Hierarchical composition and aggregation of state-based availability and performability models,” IEEE Transactions on Reliability, vol. 52, pp. 44–52, 2003.Google Scholar

[95] F., Lee and M., Marathe, Beyond Redundancy: A Guide to Designing High-Availability Networks. Cisco, 1999.

[96] R., de S., Matos, J., Araujo, D., Oliveira, P. R. M., Maciel, and K. S., Trivedi, “Sensitivity analysis of a hierarchical model of mobile cloud computing,” Simulation Modelling Practice and Theory, vol. 50, pp. 151–164, 2015.Google Scholar

[97] D., Tang and K., Trivedi, “Hierarchical computation of interval availability and related metrics,” in Proc. 2004 Int. Conf. on Dependable Systems and Networks, 2004, p. 693.

[98] J., Blake and K., Trivedi, “Reliability analysis of interconnection networks using hierarchical composition,” IEEE Transactions on Reliability, vol. 38, no. 1, pp. 111–120, 1989.Google Scholar

[99] J. K., Muppala, K. S., Trivedi, V., Mainkar, and V. G., Kulkarni, “Numerical computation of response time distributions using stochastic reward nets,” Annals of Operational Research, vol. 48, pp. 155–184, 1994.Google Scholar

[100] H., Qian, D., Medhi, and K. S., Trivedi, “A hierarchical model to evaluate quality of experience of online services hosted by cloud computing,” in Proc. 12th IFIP/IEEE Int. Symp. on Integrated Network Management, 2011, pp. 105–112.Google Scholar

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

[102] S., Garg, Y., Huang, C., Kintala, S., Yajnik, and K., Trivedi, “Performance and reliability evaluation of passive replication schemes in application level fault tolerance,” in Proc. 29th Ann. Int. Symp. on Fault-Tolerant Computing, 1999, pp. 322–329.Google Scholar

[103] 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, Dec. 2010, pp. 125–132.

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

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

[106] K. S., Trivedi, S., Ramani, and R. M., Fricks, “Recent advances in modeling response-time distributions in real-time systems,” Proceedings of the IEEE, vol. 91, no. 7, pp. 1023–1037, 2003.Google Scholar

[107] A., Avritzer, S., Suresh, D. S., Menasché, R. M. M., Leão, E. de Souza e, Silva, M. C., Diniz, K. S., Trivedi, L., Happe, and A., Koziolek, “Survivability models for the assessment of smart grid distribution automation network designs,” in Proc. 4th ACM/SPEC Int. Conf. on Performance Engineering. ACM, 2013, pp. 241–252.

[108] A., Koziolek, A., Avritzer, S., Suresh, D. S., Menasché, M. C., Diniz, E. de Souza e, Silva, R. M. M., Leão, K. S., Trivedi, and L., Happe, “Assessing survivability to support power grid investment decisions,” Reliability Engineering and System Safety, vol. 155, pp. 30–43, 2016.Google Scholar

[109] A., Koziolek, A., Avritzer, S., Suresh, D. Sadoc, Menasche, K., Trivedi, and L., Happe, “Design of distribution automation networks using survivability modeling and power flow equations,” in Proc. IEEE 24th Int. Symp. on Software Reliability Engineering, Nov. 2013, pp. 41–50.

[110] M., Beccuti, S., Chiaradonna, F. D., Giandomenico, S., Donatelli, G., Dondossola, and G., Franceschinis, “Quantification of dependencies between electrical and information infrastructures,” International Journal of Critical Infrastructure Protection, vol. 5, no. 1, pp. 14–27, 2012.Google Scholar