{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T11:23:00Z","timestamp":1769512980843,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642410093","type":"print"},{"value":"9783642410109","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41010-9_12","type":"book-chapter","created":{"date-parts":[[2013,9,16]],"date-time":"2013-09-16T05:31:39Z","timestamp":1379309499000},"page":"169-183","source":"Crossref","is-referenced-by-count":13,"title":["Formal Reliability Analysis of Protective Relays in Power Distribution Systems"],"prefix":"10.1007","author":[{"given":"Adil","family":"Khurram","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haider","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arham","family":"Tariq","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Abbarin, A., Fotuhi-Firuzabad, M.: A novel routine test schedule for protective systems using an extended component-based reliability model. In: International Conference on Electrical and Electronics Engineering, pp. 97\u2013102 (2009)"},{"issue":"9","key":"12_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MC.2009.283","volume":"42","author":"J.R. Abrial","year":"2009","unstructured":"Abrial, J.R.: Faultless systems: Yes we can! Computer\u00a042(9), 30\u201336 (2009)","journal-title":"Computer"},{"issue":"3","key":"12_CR3","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1109\/24.159812","volume":"41","author":"P. Anderson","year":"1992","unstructured":"Anderson, P., Agarwal, S.: An improved model for protective-system reliability. IEEE Transactions on Reliability\u00a041(3), 422\u2013426 (1992)","journal-title":"IEEE Transactions on Reliability"},{"key":"12_CR4","unstructured":"Bakshi, A.S., Velayutham, A., Sirivastava, S.C., Agrawal, K.K.: Report of the enquiry committee on grid disturbance in northern region on 30th july 2012 and in northern, eastern & north-eastern region on 31st July. Tech. rep., Ministry of Power Government of India (2012)"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-1860-4","volume-title":"Reliability Evaluation of Power Systems","author":"R. Billinton","year":"1996","unstructured":"Billinton, R., Allan, R.N.: Reliability Evaluation of Power Systems. Plenum, New York (1996)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Brown, R.: Electric Power Distribution Reliability. CRC Press (2008)","DOI":"10.1201\/9780849375682"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Damchi, Y., Sadeh, J.: Considering failure probability for back-up relay in determination of the optimum routine test interval in protective system using markov model. In: IEEE Power Energy Society General Meeting, pp. 1\u20135 (2009)","DOI":"10.1109\/PES.2009.5275612"},{"issue":"1","key":"12_CR8","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1109\/61.568233","volume":"12","author":"E.A. Udren","year":"1997","unstructured":"Udren, E.A., Zipp, J.A., Michel, G.L., Mustaphi, K.K., Nilsson, S.L., Phadke, A.G., Ramaswami, R., Rockefeller, G.D., Sachdev, M.S., Strang, W.M., Thorp, J.S., Tziouvaras, D.A., Varneckas, V., Wagner, C.L.: Proposed statistical performance measures for microprocessor-based transmission-line protective relays. i. explanation of the statistics. IEEE Transactions on Power Delivery 12(1), 134\u2013143 (1997)","journal-title":"IEEE Transactions on Power Delivery"},{"issue":"4","key":"12_CR9","doi-asserted-by":"publisher","first-page":"1909","DOI":"10.1109\/TPAS.1971.293186","volume":"90","author":"J. Endrenyi","year":"1971","unstructured":"Endrenyi, J.: Three-state models in power system reliability evaluations. IEEE Transactions on Power Apparatus and Systems\u00a090(4), 1909\u20131916 (1971)","journal-title":"IEEE Transactions on Power Apparatus and Systems"},{"issue":"4","key":"12_CR10","doi-asserted-by":"publisher","first-page":"2213","DOI":"10.1109\/TPWRD.2010.2051463","volume":"25","author":"A. Etemadi","year":"2010","unstructured":"Etemadi, A., Fotuhi-Firuzabad, M.: New considerations in modern protection system quantitative reliability assessment. IEEE Transactions on Power Delivery\u00a025(4), 2213\u20132222 (2010)","journal-title":"IEEE Transactions on Power Delivery"},{"key":"12_CR11","unstructured":"Euronews (2013), \n                  \n                    http:\/\/www.euronews.com\/2005\/05\/25\/moscow-hit-by-power-blackout\/"},{"key":"12_CR12","unstructured":"Force, U.C.P.S.O.T.: Final report on the 14th august 2003 blackout in the United States and Canada: Causes and recommendations. Tech. rep., U.S. Department of Energy and Natural Resources Canada (2003)"},{"key":"12_CR13","unstructured":"Maas, G.A., Mial, M., Fijalkowski, J.: Final report-system disturbance on 4 november 2006. Tech. rep., Union for the Co-ordination of Transmission of Electricity (2006)"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/TR.1970.5216410","volume":"19","author":"J. Grimes","year":"1970","unstructured":"Grimes, J.: On determining the reliability of protective relay systems. IEEE Transactions on Reliability\u00a019(3), 82\u201385 (1970)","journal-title":"IEEE Transactions on Reliability"},{"key":"12_CR15","unstructured":"Hermanns, H., Katoen, J., Meyer-Kayser, J., Siegle, M.: Model checking performability properties of markov chains. In: International Conference on Dependable Systems and Networks, pp. 673\u2013673 (2003)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Seyedi, H., Fotuhi-Firuzabad, M., Sanaye-Pasand, M.: An extended markov model to determine the reliability of protective system. In: IEEE Power India Conference, pp. 10\u201312 (2006)","DOI":"10.1109\/POWERI.2006.1632549"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Katoen, J., Khattri, M., Zapreev, I.: A markov reward model checker. In: International Conference on the Quantitative Evaluation of Systems, pp. 243\u2013244 (2005)","DOI":"10.1109\/QEST.2005.2"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical techniques for analyzing concurrent and probabilistic systems. American Mathematical Society (2004)","DOI":"10.1090\/crmm\/023"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Vesta: A statistical model-checker and analyzer for probabilistic systems. In: International Conference on the Quantitative Evaluation of Systems, pp. 251\u2013252 (2005)","DOI":"10.1109\/QEST.2005.42"},{"key":"12_CR20","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)"},{"key":"12_CR21","unstructured":"Paithankar, Y., Bhide, S.: Fundamentals of Power System Protection. Prentice-Hall (2003)"},{"issue":"3","key":"12_CR22","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1109\/TPWRS.2002.800871","volume":"17","author":"R. Billinton","year":"2002","unstructured":"Billinton, R., Fotuhi-Firuzabad, M., Sidhu, T.: Determination of the optimum routine test and self-checking intervals in protective relaying using a reliability model. IEEE Transactions on Power Systems\u00a017(3), 663\u2013669 (2002)","journal-title":"IEEE Transactions on Power Systems"},{"issue":"4","key":"12_CR23","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1109\/TR.1980.5220863","volume":"29","author":"C. Singh","year":"1980","unstructured":"Singh, C., Patton, A.D.: Protection system reliability modeling: Unreadiness probability and mean duration of undetected faults. IEEE Transactions on Reliability\u00a029(4), 339\u2013340 (1980)","journal-title":"IEEE Transactions on Reliability"},{"key":"12_CR24","unstructured":"United States Department of Agriculture: Design Guide for rural substations (2001)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/11513988_43","volume-title":"Computer Aided Verification","author":"H.L.S. Younes","year":"2005","unstructured":"Younes, H.L.S.: Ymer: A statistical model checker. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 429\u2013433. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41010-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T05:56:58Z","timestamp":1558072618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41010-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642410093","9783642410109"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41010-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}