{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:33:47Z","timestamp":1759941227688},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751007"},{"type":"electronic","value":"9783540751014"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75101-4_12","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T09:15:29Z","timestamp":1190366129000},"page":"106-119","source":"Crossref","is-referenced-by-count":20,"title":["Compositional Temporal Fault Tree Analysis"],"prefix":"10.1007","author":[{"given":"Martin","family":"Walker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Bottaci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"12_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0951-8320(00)00076-4","volume":"71","author":"Y.I. Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y.I., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and Synthesis of the Behaviour of Complex Systems in Conditions of Failure. Reliability Engineering & System Safety\u00a071(3), 229\u2013247 (2001)","journal-title":"Reliability Engineering & System Safety"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1109\/QSIC.2005.16","volume-title":"Fifth International Conference on Quality Software (QSIC 2005)","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Kaiser, B.: Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. In: Fifth International Conference on Quality Software (QSIC 2005), pp. 117\u2013123. IEEE Computer Society, Los Alamitos (2005)"},{"doi-asserted-by":"crossref","unstructured":"Walker, M.D., Papadopoulos, Y.I.: Pandora: The Time of Priority-AND gates. In: INCOM 2006, France, pp. 237\u2013242 (2006)","key":"12_CR3","DOI":"10.3182\/20060517-3-FR-2903.00134"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1109\/TR.1976.5220025","volume":"R-25\/5","author":"J.B. Fussel","year":"1976","unstructured":"Fussel, J.B., Aber, E.F., Rahl, R.G.: On quantitative analysis of PAND failure logic. IEEE Trans. on Reliability\u00a0R-25\/5, 324\u2013326 (1976)","journal-title":"IEEE Trans. on Reliability"},{"key":"12_CR5","volume-title":"Fault Tree Handbook","author":"W.E. Vesely","year":"1981","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. US Nuclear Regulatory Commission, Washington D.C., USA (1981)"},{"key":"12_CR6","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, 269\u2013274 (2000)","journal-title":"Reliability Engineering & System Safety"},{"unstructured":"Vesely, W.E., Stamatelatos, M., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, USA (2002)","key":"12_CR7"},{"unstructured":"Tang, Z., Dugan, J.B.: Minimal cut set\/sequence generation for dynamic fault trees. In: Annual Reliability and Maintainability Symposium Proceedings (2004)","key":"12_CR8"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0950-5849(01)00223-3","volume":"44","author":"G.K. Palshikar","year":"2002","unstructured":"Palshikar, G.K.: Temporal Fault Trees. Information and Software Technology\u00a044, 137\u2013150 (2002)","journal-title":"Information and Software Technology"},{"key":"12_CR10","first-page":"80","volume":"2","author":"P.G. Wijayarathna","year":"1997","unstructured":"Wijayarathna, P.G., Kawata, Y., Santosa, A., Isogai, K.: Representing relative temporal knowledge with the tand connective. Eighth Ireland Conference on Artificial Intelligence (AI 1997)\u00a02, 80\u201387 (1997)","journal-title":"Eighth Ireland Conference on Artificial Intelligence (AI 1997)"},{"unstructured":"Andrews, J.D.: To not or not to not. In: Proceedings of the 18th International System Safety Conference, Fort Worth, September 2000, pp. 267\u2013275 (2000)","key":"12_CR11"},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/EMWRTS.1996.557782","volume-title":"Proc. 8th Euromicro Workshop on Real-Time Systems","author":"J. Gorski","year":"1996","unstructured":"Gorski, J., Wardzinski, A.: Deriving Real-Time Requirements for Software from Safety Analysis. In: Proc. 8th Euromicro Workshop on Real-Time Systems, pp. 9\u201314. IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"7","key":"12_CR13","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/32.708570","volume":"24","author":"K.M. Hansen","year":"1998","unstructured":"Hansen, K.M., Ravn, A.P.: From Safety Analysis to Software Requirements. IEEE Trans. on Software Engineering\u00a024(7), 573\u2013584 (1998)","journal-title":"IEEE Trans. on Software Engineering"}],"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-540-75101-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:51:17Z","timestamp":1619520677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75101-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751007","9783540751014"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75101-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}