{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:10:07Z","timestamp":1746357007830,"version":"3.40.4"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319106953"},{"type":"electronic","value":"9783319106960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10696-0_27","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T14:33:45Z","timestamp":1409150025000},"page":"345-367","source":"Crossref","is-referenced-by-count":7,"title":["A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Avritzer","sequence":"first","affiliation":[]},{"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[]},{"given":"Lucia","family":"Happe","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Koziolek","sequence":"additional","affiliation":[]},{"given":"Daniel Sadoc","family":"Menasche","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[]},{"given":"Sindhu","family":"Suresh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Avritzer, A., Suresh, S., Menasch\u00e9, D.S., Le\u00e3o, R.M.M., de Souza e Silva, E., Diniz, M.C., Trivedi, K., Happe, L., Koziolek, A.: Survivability models for the assessment of smart grid distribution automation network designs. In: Proceedings of the International Conference on Performance Engineering, pp. 241\u2013252. ACM (2013)","DOI":"10.1145\/2479871.2479905"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Avritzer, A., Suresh, S., Menasch\u00e9, D.S., Le\u00e3o, R.M.M., de Souza e Silva, E., Diniz, M.C., Trivedi, K., Happe, L., Koziolek, A.: Survivability models for the assessment of smart grid distribution automation network designs. Concurrency and Computation Practice and Experience (2014)","DOI":"10.1145\/2479871.2479905"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-14379-3_17","volume-title":"Critical Information Infrastructures Security","author":"R. Bloomfield","year":"2010","unstructured":"Bloomfield, R., Buzna, L., Popov, P., Salako, K., Wright, D.: Stochastic modelling of the effects of interdependencies between critical infrastructure. In: Rome, E., Bloomfield, R. (eds.) CRITIS 2009. LNCS, vol.\u00a06027, pp. 201\u2013212. Springer, Heidelberg (2010)"},{"issue":"10","key":"27_CR4","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H.C. Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H.C., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.-P.: Modest: A compositional modeling formalism for hard and softly timed systems. IEEE Trans. Softw. Eng.\u00a032(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Bu, S., Yu, F.R., Liu, P.X.: Stochastic unit commitment in smart grid communications. In: 2011 IEEE Conference on Computer Communications Workshop, pp. 307\u2013312. IEEE (2011)","DOI":"10.1109\/INFCOMW.2011.5928828"},{"issue":"5","key":"27_CR6","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10009-010-0156-8","volume":"12","author":"G. Bucci","year":"2010","unstructured":"Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int. Journal of SW Tools for Technology Transfer\u00a012(5), 391\u2013403 (2010)","journal-title":"Int. Journal of SW Tools for Technology Transfer"},{"issue":"2","key":"27_CR7","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.2008.101","volume":"35","author":"L. Carnevali","year":"2009","unstructured":"Carnevali, L., Grassi, L., Vicario, E.: State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. on Software Engineering\u00a035(2), 178\u2013194 (2009)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-24270-0_30","volume-title":"Computer Safety, Reliability, and Security","author":"L. Carnevali","year":"2011","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: A framework for simulation and symbolic state space analysis of non-Markovian models. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 409\u2013422. Springer, Heidelberg (2011)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models. In: QEST 2011, pp. 153\u2013154 (2011)","DOI":"10.1109\/QEST.2011.29"},{"issue":"1","key":"27_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10703-013-0183-7","volume":"43","author":"T. Chen","year":"2013","unstructured":"Chen, T., Forejt, V., Kwiatkowska, M.Z., Parker, D., Simaitis, A.: Automatic verification of competitive stochastic systems. Formal Methods in System Design\u00a043(1), 61\u201392 (2013)","journal-title":"Formal Methods in System Design"},{"key":"27_CR11","unstructured":"Consolidated Edison of New York, Inc. Report on the preparation and system restoration performance (January 2013)"},{"key":"27_CR12","unstructured":"Consolidated Edison of New York, Inc. Storm Hardening and Resiliency Collaborative Report (December 2013)"},{"key":"27_CR13","unstructured":"Blake, E.S., et al.: Tropical Cyclone Report - Hurricane Sandy (AL182012). Nat\u2019l Hurricane Center (February 2013)"},{"issue":"2","key":"27_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0166-5316(93)90035-S","volume":"18","author":"W. Fischer","year":"1993","unstructured":"Fischer, W., Meier-Hellstern, K.: The Markov-modulated Poisson process (mmpp) cookbook. Performance Evaluation\u00a018(2), 149\u2013171 (1993)","journal-title":"Performance Evaluation"},{"issue":"2","key":"27_CR15","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10703-012-0167-z","volume":"43","author":"E.M. Hahn","year":"2013","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.-P.: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods in System Design\u00a043(2), 191\u2013232 (2013)","journal-title":"Formal Methods in System Design"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-642-34026-0_31","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"A. Hartmanns","year":"2012","unstructured":"Hartmanns, A., Hermanns, H.: Modelling and decentralised runtime control of self-stabilising power micro grids. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 420\u2013439. Springer, Heidelberg (2012)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Hartmanns, A., Hermanns, H., Berrang, P.: A comparative analysis of decentralized power grid stabilization strategies. In: Winter Simulation Conference, p. 158 (2012)","DOI":"10.1109\/WSC.2012.6465083"},{"issue":"8","key":"27_CR18","doi-asserted-by":"publisher","first-page":"1215","DOI":"10.1016\/j.comnet.2009.02.014","volume":"53","author":"P.E. Heegaard","year":"2009","unstructured":"Heegaard, P.E., Trivedi, K.S.: Network survivability modeling. Computer Networks\u00a053(8), 1215\u20131234 (2009)","journal-title":"Computer Networks"},{"issue":"7","key":"27_CR19","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.peva.2011.11.002","volume":"69","author":"A. Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Performance Evaluation\u00a069(7), 315\u2013335 (2012)","journal-title":"Performance Evaluation"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Keshav, S., Rosenberg, C.: How internet concepts and technologies can help green and smarten the electrical grid. ACM SIGCOMM Computer Communication Review (2011)","DOI":"10.1145\/1925861.1925879"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Koziolek, A., Happe, L., Avritzer, A., Suresh, S.: A common analysis framework for smart distribution networks applied to survivability analysis of distribution automation. In: 2012 International Workshop on Software Engineering for the Smart Grid (SE4SG), pp. 23\u201329 (June 2012)","DOI":"10.1109\/SE4SG.2012.6225713"},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"1","key":"27_CR23","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/TR.2002.805781","volume":"52","author":"M. Lanus","year":"2003","unstructured":"Lanus, M., Yin, L., Trivedi, K.S.: Hierarchical composition and aggregation of state-based availability and performability models. IEEE Transactions on Reliability\u00a052(1), 44\u201352 (2003)","journal-title":"IEEE Transactions on Reliability"},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"Menasch\u00e9, D., Le\u00e3o, R.M.M., de Souza e Silva, E., Avritzer, A., Suresh, S., Trivedi, K., Marie, R.A., Happe, L., Koziolek, A.: Survivability analysis of power distribution in smart grids with active and reactive power modeling. In: GreenMetrics Workshop (2012)","DOI":"10.1145\/2425248.2425260"},{"issue":"9","key":"27_CR25","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Farber, D.J.: Recoverability of communication protocols. IEEE Trans. on Comm.\u00a024(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. on Comm."},{"key":"27_CR26","unstructured":"NYC Department of Environmental Protection, Fred Gliesing, CF. Challenges to westchester\u2019s forests"},{"key":"27_CR27","unstructured":"Office of Long-Term Planning and Sustainability, City of New York. Utilization of Underground and Overhead Power Lines in the City of New York. City of New York (December 2013)"},{"issue":"1","key":"27_CR28","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/MASSP.1986.1165342","volume":"3","author":"L. Rabiner","year":"1986","unstructured":"Rabiner, L., Juang, B.-H.: An introduction to hidden markov models. IEEE ASSP Magazine\u00a03(1), 4\u201316 (1986)","journal-title":"IEEE ASSP Magazine"},{"key":"27_CR29","doi-asserted-by":"crossref","unstructured":"Rudion, K., Orths, A., Styczynski, Z.A., Strunz, K.: Design of benchmark of medium voltage distribution network for investigation of dg integration. In: Power Engineering Society General Meeting. IEEE (2006)","DOI":"10.1109\/PES.2006.1709447"},{"key":"27_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"W.H. Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: Formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000. LNCS, vol.\u00a02090, pp. 315\u2013343. Springer, Heidelberg (2001)"},{"issue":"5","key":"27_CR31","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TSE.2009.36","volume":"35","author":"E. Vicario","year":"2009","unstructured":"Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. on Software Engineering\u00a035(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10696-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:54:47Z","timestamp":1746356087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10696-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319106953","9783319106960"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10696-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}