{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:52:38Z","timestamp":1771026758701,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319222639","type":"print"},{"value":"9783319222646","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22264-6_12","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T10:33:29Z","timestamp":1440153209000},"page":"176-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Fourneau","sequence":"first","affiliation":[]},{"given":"Nihal","family":"Pekergin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719062","volume-title":"A First Course in Order Statistics","author":"B Arnold","year":"2008","unstructured":"Arnold, B., Balakrishnan, N., Nagaraja, H.: A First Course in Order Statistics. Society for Industrial and Applied Mathematics, Philadelphia (2008)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Salaht, F.A., Cohen, J., Taleb, H.C., Fourneau, J. M., Pekergin, N.: Accuracy vs. complexity: the stochastic bound approach. In: 11th International Workshop on Discrete Event Systems (WODES 2012) (2012)","DOI":"10.3182\/20121003-3-MX-4033.00055"},{"issue":"3","key":"12_CR3","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"J Bechta Dugan","year":"1992","unstructured":"Bechta Dugan, J., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363\u2013377 (1992). Sep","journal-title":"IEEE Trans. Reliab."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using input\/output interactive Markov chains. In: The 37th IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 708\u2013717 (2007)","DOI":"10.1109\/DSN.2007.37"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bucci, G., Carnevali, L., Vicario, E.: A tool supporting evaluation of non-markovian fault trees. In: Fifth International Conference on the Quantitative Evaluation of Systems, pp. 115\u2013116 (2008)","DOI":"10.1109\/QEST.2008.46"},{"issue":"5","key":"12_CR6","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1109\/TNET.2002.803917","volume":"10","author":"R Gu\u00e9rin","year":"2002","unstructured":"Gu\u00e9rin, R., Orda, A.: Computing shortest paths for any number of hops. IEEE\/ACM Trans. Networking 10(5), 613\u2013620 (2002)","journal-title":"IEEE\/ACM Trans. Networking"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/24.406578","volume":"44","author":"M Malhotra","year":"1995","unstructured":"Malhotra, M., Trivedi, K.S.: Dependability modeling using Petri-nets. IEEE Trans. Reliab. 44(3), 428\u2013440 (1995). Sep","journal-title":"IEEE Trans. Reliab."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Manian, R., Dugan, B.J., Coppit, D., Sullivan, K.J.: Combining various solution techniques for dynamic fault tree analysis of computer systems. In: High-Assurance Systems Eng. Symposium, pp. 21\u201328, November 1998","DOI":"10.1109\/HASE.1998.731591"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1109\/TR.2009.2035793","volume":"59","author":"G Merle","year":"2010","unstructured":"Merle, G., Roussel, J.-M., Lesage, J.-J., Bobbio, A.: Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Trans. Reliab. 59(1), 250\u2013261 (2010)","journal-title":"IEEE Trans. Reliab."},{"key":"12_CR10","volume-title":"Comparison Methods for Stochastic Models and Risks","author":"A Muller","year":"2002","unstructured":"Muller, A., Stoyan, D.: Comparison Methods for Stochastic Models and Risks. Wiley, New York (2002)"},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1016\/j.ress.2008.09.007","volume":"94","author":"KD Rao","year":"2009","unstructured":"Rao, K.D., Gopika, V., Sanyasi Rao, V.V.S., Kushwaha, H.S., Verma, A.K., Srividya, A.: Dynamic fault tree analysis using monte carlo simulation in probabilistic safety assessment. Reliab. Eng. Syst. Safety 94(4), 872\u2013883 (2009)","journal-title":"Reliab. Eng. Syst. Safety"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Sullivan, K.J., Dugan, B.J., Coppit, D.: The galileo fault tree analysis tool. In: Digest of Papers: FTCS-29, The Twenty-Ninth International Symposium on Fault-Tolerant Computing, USA, pp. 232\u2013235 (1999)","DOI":"10.1109\/FTCS.1999.781056"},{"key":"12_CR13","volume-title":"Probability and Statistic with Reliability, Queueing and Computer Science Applications","author":"KS Trivedi","year":"2002","unstructured":"Trivedi, K.S.: Probability and Statistic with Reliability, Queueing and Computer Science Applications, 2nd edn. Wiley, New York (2002)","edition":"2"},{"key":"12_CR14","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Hassl, D.F.: Fault Tree Handbook, NUREG-0492, T.R., U.S. nuclear regulatory commission (1981)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22264-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:26:47Z","timestamp":1748575607000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22264-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319222639","9783319222646"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22264-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}