{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:09:36Z","timestamp":1742947776781,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319009445"},{"type":"electronic","value":"9783319009452"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-00945-2_13","type":"book-chapter","created":{"date-parts":[[2013,5,30]],"date-time":"2013-05-30T09:29:17Z","timestamp":1369906157000},"page":"141-151","source":"Crossref","is-referenced-by-count":10,"title":["Quantification of Simultaneous-AND Gates in Temporal Fault Trees"],"prefix":"10.1007","author":[{"given":"Ernest","family":"Edifor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Walker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Gordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: Reliability and Maintainability Symposium (1997)","key":"13_CR1"},{"unstructured":"Merle, G., Roussel, J.: Algebraic modelling of Fault Trees with Priority AND gates. In: 1st IFAC Workshop, pp. 175\u2013180 (2007)","key":"13_CR2"},{"unstructured":"Dugan, J.B., Doyle, S.A.: New results in fault-tree analysis. In: Tutorial Notes of the Annual Reliability and Maintainability Symposium (1997)","key":"13_CR3"},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"J.B. Dugan","year":"1992","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability\u00a041(3), 363\u2013377 (1992)","journal-title":"IEEE Transactions on Reliability"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1016\/j.nahs.2006.05.003","volume":"2","author":"M. Walker","year":"2008","unstructured":"Walker, M., Papadopoulos, Y.: Synthesis and analysis of temporal fault trees with PANDORA 2: The time of Priority AND gates. Nonlinear Analysis: Hybrid Systems\u00a02(2), 368\u2013382 (2008)","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"issue":"5","key":"13_CR6","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1109\/TR.1976.5220025","volume":"-25","author":"J.B. Fussell","year":"1976","unstructured":"Fussell, J.B., Aber, E.F., Rahl, R.G.: On the quantitative analysis of Priority-AND failure logic. IEEE Transactions on Reliability\u00a0R-25(5), 324\u2013326 (1976)","journal-title":"IEEE Transactions on Reliability R"},{"doi-asserted-by":"crossref","unstructured":"Walker, M., Papadopoulos, Y.: Pandora 2: The time of priority-OR gates. In: IFAC Workshop on Dependable Control of Discrete Event Systems (2007)","key":"13_CR7","DOI":"10.3182\/20070613-3-FR-4909.00007"},{"unstructured":"Walker, M.: Pandora: a logic for the qualitative analysis of temporal fault trees. Dissertation, University of Hull (2009)","key":"13_CR8"},{"unstructured":"Vesely, W.E., Stamatelatos, M., et al.: Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance, Washington DC (2002)","key":"13_CR9"},{"issue":"4","key":"13_CR10","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1016\/j.ress.2008.09.007","volume":"94","author":"R. Durga","year":"2009","unstructured":"Durga, R., Gopika, V., et al.: Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Reliability Engineering & System Safety\u00a094(4), 872\u2013883 (2009)","journal-title":"Reliability Engineering & System Safety"},{"issue":"11","key":"13_CR11","doi-asserted-by":"publisher","first-page":"1577","DOI":"10.1016\/j.ress.2008.02.016","volume":"93","author":"T. Yuge","year":"2008","unstructured":"Yuge, T., Yanagi, S.: Quantitative analysis of a fault tree with Priority AND gates. Reliability Engineering & System Safety\u00a093(11), 1577\u20131583 (2008)","journal-title":"Reliability Engineering & System Safety"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0951-8320(99)00075-7","volume":"67","author":"W. Long","year":"2000","unstructured":"Long, W., Sato, Y., Horigome, M.: Quantification of sequential failure logic for fault tree analysis. Reliability Engineering & System Safety\u00a067(3), 269\u2013274 (2000)","journal-title":"Reliability Engineering & System Safety"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-642-33678-2_9","volume-title":"SAFECOMP 2012","author":"E. Edifor","year":"2012","unstructured":"Edifor, E., Walker, M., Gordon, N.: Quantification of priority-OR gates in temporal fault trees. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 99\u2013110. Springer, Heidelberg (2012)"},{"issue":"1","key":"13_CR14","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.: Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Transactions on Reliability\u00a059(1), 250\u2013261 (2010)","journal-title":"IEEE Transactions on Reliability"},{"issue":"5","key":"13_CR15","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, C., Ravn, A.: A calculus of Durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"},{"issue":"7","key":"13_CR16","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/32.708570","volume":"24","author":"K.M. Hansen","year":"1998","unstructured":"Hansen, K.M., Anders, P.R., Stavridou, V.: From safety analysis to software requirements. IEEE Transactions on Software Engineering\u00a024(7), 573\u2013584 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"13_CR17","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0950-5849(01)00223-3","volume":"44","author":"G. Palshikar","year":"2002","unstructured":"Palshikar, G.: Temporal fault trees. Information and Software Technology\u00a044(3), 137\u2013150 (2002)","journal-title":"Information and Software Technology"},{"unstructured":"Gorski, J., Wardzinski, A.: Deriving real-time requirements for software from safety analysis. In: Real-Time Systems, pp. 9\u201314 (1996)","key":"13_CR18"},{"unstructured":"Schellhorn, G., Thums, A., Reif, W.: Formal fault tree semantics. In: Proceedings of The Sixth World Conference on Integrated Design & Process Technology (2002)","key":"13_CR19"},{"unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Computation of Ordered Minimal Critical Sets. In: Proceedings of the 7th Symposium on Formal Methods for Automation and Safety in Railway and Automotives (2008)","key":"13_CR20"},{"issue":"3","key":"13_CR21","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1109\/TPWRD.2010.2046342","volume":"25","author":"T. Babczy\u0144ski","year":"2010","unstructured":"Babczy\u0144ski, T., Lukowicz, M., Magott, J.: Time coordination of distance protections using probabilistic fault trees with time dependencies. IEEE Transactions on Power Delivery\u00a025(3), 1402\u20131409 (2010)","journal-title":"IEEE Transactions on Power Delivery"},{"doi-asserted-by":"crossref","unstructured":"Rocco, C., Muselli, M.: A machine learning algorithm to estimate minimal cut and path sets from a Monte Carlo simulation. In: Probabilistic Safety Assessment and Management (PSAM7\u2013ESREL), pp. 3142\u20133147 (2004)","key":"13_CR22","DOI":"10.1007\/978-0-85729-410-4_503"},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10479-009-0539-y","volume":"189","author":"J.C. Chan","year":"2009","unstructured":"Chan, J.C., Kroese, D.P.: Rare-event probability estimation with conditional Monte Carlo. Annals of Operations Research\u00a0189(1), 43\u201361 (2009)","journal-title":"Annals of Operations Research"},{"unstructured":"Wolfram Research, What Is Mathematica? (2013), \n                    http:\/\/www.wolfram.co.uk\/mathematica\n                   (accessed January 07, 2013)","key":"13_CR24"}],"container-title":["Advances in Intelligent Systems and Computing","New Results in Dependability and Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00945-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T14:37:31Z","timestamp":1676817451000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00945-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319009445","9783319009452"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00945-2_13","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]}}}