{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T02:37:08Z","timestamp":1768012628458,"version":"3.49.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319242484","type":"print"},{"value":"9783319242491","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24249-1_11","type":"book-chapter","created":{"date-parts":[[2015,9,7]],"date-time":"2015-09-07T11:43:15Z","timestamp":1441626195000},"page":"121-132","source":"Crossref","is-referenced-by-count":2,"title":["Sequential Logic for State\/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Roth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,9]]},"reference":[{"key":"11_CR1","unstructured":"Bozzano, M., Villafiorita, A.: Integrating fault tree analysis with event ordering information. In: Proceedings of the European Safety and Reliability Conference (ESREL) (2003)"},{"key":"11_CR2","unstructured":"Buchacker, K.: Combining Fault Trees And Petri Nets To Model Safety-Critical Systems, pp. 439\u201344. Society for Computer Simulation, International (1999)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"JB Dugan","year":"1992","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. Trans. Reliab. 41, 363\u2013377 (1992)","journal-title":"Trans. Reliab."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/24.855536","volume":"49","author":"J Bechta-Dugan","year":"1999","unstructured":"Bechta-Dugan, J., Sullivan, K., Coppit, D.: Developing a low-cost high-quality software tool for dynamic fault tree analysis. Trans. Reliab. 49, 49 (1999)","journal-title":"Trans. Reliab."},{"key":"11_CR5","unstructured":"ESSaRel: Embedded systems safety and reliability analyser. http:\/\/www.essarel.de"},{"issue":"5","key":"11_CR6","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1109\/TR.1976.5220025","volume":"25","author":"JB Fussell","year":"1796","unstructured":"Fussell, J.B., Aber, E.F., Rahl, R.G.: On the quantitive analysis of priority AND failure logic. IEEE Trans. Reliab. 25(5), 324\u2013326 (1796)","journal-title":"IEEE Trans. Reliab."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: Proccedings of the Annual Reliability and Maintainability Symposium, Philadelphia, USA, pp. 57\u201363 (1997)","DOI":"10.1109\/RAMS.1997.571665"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-30138-7_17","volume-title":"Computer Safety, Reliability, and Security","author":"B Kaiser","year":"2004","unstructured":"Kaiser, B., Gramlich, C.: State-event-fault-trees \u2013 a safety analysis model for software controlled systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 195\u2013209. Springer, Heidelberg (2004)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-540-72685-2_55","volume-title":"Embedded Software and Systems","author":"D Liu","year":"2007","unstructured":"Liu, D., Xing, W., Zhang, C., Li, R., Li, H.: Cut sequence set generation for fault tree analysis. In: Lee, Y.-H., Kim, H.-N., Kim, J., Park, Y.W., Yang, L.T., Kim, S.W. (eds.) ICESS 2007. LNCS, vol. 4523, pp. 592\u2013603. Springer, Heidelberg (2007)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0951-8320(99)00075-7","volume":"67","author":"W Long","year":"1999","unstructured":"Long, W., Sato, Y., Horigome, M.: Quantification of sequential failure logic for fault tree analysis. Reliab. Eng. Syst. Saf. 67, 269\u2013274 (1999)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0950-5849(01)00223-3","volume":"44","author":"GK Palshikar","year":"2002","unstructured":"Palshikar, G.K.: Temporal fault trees. Inf. Softw. Technol. 44, 137\u2013150 (2002)","journal-title":"Inf. Softw. Technol."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Roth, M., Liggesmeyer, P.: Qualitative analysis of state\/event fault trees for supporting the certification process of software-intensive systems. In: Proceedings of the International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 353\u2013358, Pasadena, CA (2013)","DOI":"10.1109\/ISSREW.2013.6688920"},{"key":"11_CR13","unstructured":"Tang, Z., Dugan, J.B.: Minimal cut set\/sequence generation for dynamic fault trees. In: Proccedings of the Annual Reliability and Maintainability Symposium (RAMS), Charlottesville, USA, pp. 207\u2013213 (2004)"},{"key":"11_CR14","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook (1981)"},{"key":"11_CR15","unstructured":"Walker, M.D.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. PhD Thesis, University of Hall, UK (2009)"},{"key":"11_CR16","unstructured":"Watson, H.R.: Launch control safety study. Bell Labs (1961)"},{"key":"11_CR17","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. Reliab. Eng. Syst. Saf. 93, 1577\u20131583 (2008)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR18","unstructured":"Zimmermann, A., German, R., Freiheit, J., Hommel, G.: TimeNET 3.0 Tool Description. In: International Conference on Petri Nets and Performance Models (PNPM 1999), Zaragoza, Spain (1999)"}],"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-319-24249-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:23:17Z","timestamp":1748611397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24249-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242484","9783319242491"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24249-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}