{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T19:48:05Z","timestamp":1750880885161,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_9","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T15:02:42Z","timestamp":1346943762000},"page":"99-110","source":"Crossref","is-referenced-by-count":13,"title":["Quantification of Priority-OR Gates in Temporal Fault Trees"],"prefix":"10.1007","author":[{"given":"Ernest","family":"Edifor","sequence":"first","affiliation":[]},{"given":"Martin","family":"Walker","sequence":"additional","affiliation":[]},{"given":"Neil","family":"Gordon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Vesely, W.E., Stamatelatos, M., Dugan, J.B., et al.: Fault tree handbook with aerospace applications. NASA office of safety and mission assurance, Washington DC (2002)"},{"key":"9_CR2","unstructured":"Merle, G., Roussel, J.: Algebraic modelling of fault trees with priority AND gates. In: IFAC Workshop on Dependable Control of Discrete Systems, pp. 175\u2013180 (2007)"},{"issue":"3","key":"9_CR3","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 for fault-tolerant computer systems. IEEE Transactions on Reliability\u00a041(3), 363\u2013376 (1992)","journal-title":"IEEE Transactions on Reliability"},{"key":"9_CR4","unstructured":"Merle, G.: Algebraic modelling of dynamic fault trees, contribution to qualitative and quantitative analysis. Dissertation, D\u00e9cole Normale Sup\u00e9rieure De Cachan (2010)"},{"key":"9_CR5","unstructured":"Tang, Z., Dugan, J.B.: Minimal cut set\/sequence generation for dynamic fault trees. In: Reliability And Maintainability Symposium (RAMS), Los Angeles, January 26-29 (2004)"},{"issue":"2008","key":"9_CR6","first-page":"368","volume":"2","author":"M. Walker","year":"2006","unstructured":"Walker, M., Papadopoulos, Y.: Synthesis and analysis of temporal fault trees with PANDORA: The Time of Priority AND Gates. Nonlinear Analysis Hybrid Systems\u00a02(2008), 368\u2013382 (2006)","journal-title":"Nonlinear Analysis Hybrid Systems"},{"key":"9_CR7","unstructured":"Walker, M.D.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. Dissertation. University of Hull (2009)"},{"issue":"5","key":"9_CR8","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1109\/TR.1976.5220025","volume":"25","author":"J.B. Fussel","year":"1976","unstructured":"Fussel, J.B., Aber, E.F., Rahl, R.G.: On the quantitative analysis of Priority-AND failure logic. IEEE Transactions on Reliability R-25(5), 324\u2013326 (1976)","journal-title":"IEEE Transactions on Reliability R"},{"issue":"2009","key":"9_CR9","first-page":"1115","volume":"17","author":"M. Walker","year":"2008","unstructured":"Walker, M., Papadopoulos, Y.: Qualitative Temporal Analysis: Towards a full implementation of the Fault Tree Handbook. Control Engineering Practice\u00a017(2009), 1115\u20131125 (2008)","journal-title":"Control Engineering Practice"},{"key":"9_CR10","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. US Nuclear Regulatory Commission, Washington, DC (1981)"},{"key":"9_CR11","unstructured":"Andrews, J.A.: To Not or Not to Not. In: Proceedings of the 18th International System Safety Conference, Fort Worth, pp. 267\u2013275 (September 2000)"},{"key":"9_CR12","unstructured":"Sharvia, S., Papadopoulos, Y.: Non-coherent modelling in compositional fault tree analysis. In: The International Federation of Automatic Control, Seoul, July 6-11 (2008)"},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1080\/00401706.1963.10490075","volume":"5","author":"D. Esary","year":"1963","unstructured":"Esary, D., Proschan, F.: Coherent Structures with Non-Identical Components. Technometrics\u00a05(2), 191\u2013209 (1963)","journal-title":"Technometrics"},{"key":"9_CR14","unstructured":"Department of Defence, Military Handbook: electronic reliability design handbook, Webbooks (1998), http:\/\/webbooks.net\/freestuff\/mil-hdbk-338b.pdf (accessed June 27, 2011)"},{"key":"9_CR15","doi-asserted-by":"publisher","DOI":"10.1109\/9780470545317","volume-title":"Modelling for reliability analysis","author":"J. Pukite","year":"1998","unstructured":"Pukite, J., Pukite, P.: Modelling for reliability analysis. Wiley-IEEE Press, New York (1998)"},{"key":"9_CR16","unstructured":"Weisstein, E.W.: Monte Carlo Method, MathWorld (2011), http:\/\/mathworld.wolfram.com\/MonteCarloMethod.html (Accessed August 01, 2011)"},{"issue":"4","key":"9_CR17","first-page":"872","volume":"94","author":"D.K. Rao","year":"2008","unstructured":"Rao, D.K., et al.: Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Reliability Engineering and System Safety\u00a094(4), 872\u2013883 (2008)","journal-title":"Reliability Engineering and System Safety"},{"key":"9_CR18","first-page":"3142","volume-title":"Proceedings Probabilistic Safety Assessment and Management PSAM7\/ESREL 2004","author":"C.M. Rocco","year":"2004","unstructured":"Rocco, C.M., Muselli, M.: A machine learning algorithm to estimate minimal cut and path sets from a Monte Carlo simulation. In: Proceedings Probabilistic Safety Assessment and Management PSAM7\/ESREL 2004, pp. 3142\u20133147. Springer, Berlin (2004)"},{"key":"9_CR19","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: Third IEEE International High-Assurance Systems Engineering Symposium, pp. 21\u201328. IEEE Computer Society (2002)","DOI":"10.1109\/HASE.1998.731591"},{"key":"9_CR20","unstructured":"Isograph Limited, Reliability Workbench Version 11 User Guide, p. 392 (2011)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33678-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T23:27:18Z","timestamp":1744068438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}