{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T15:16:52Z","timestamp":1782400612277,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642362484","type":"print"},{"value":"9783642362491","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-36249-1_5","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:59:05Z","timestamp":1358211545000},"page":"112-151","source":"Crossref","is-referenced-by-count":10,"title":["Timed Hazard Analysis of Self-healing Systems"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Priesterjahn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominik","family":"Steenken","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/TIM.2008.2005958","volume":"58","author":"S. Abdelwahed","year":"2009","unstructured":"Abdelwahed, S., Karsai, G., Nagabhushan, M., Ofsthun, S.C.: Practical implementation of diagnosis systems using timed failure propagation graph models. IEEE Transactions on Instrumentation and Measurement\u00a058(2), 240\u2013247 (2009)","journal-title":"IEEE Transactions on Instrumentation and Measurement"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed Automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput.\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Brayton, R.K., Sangiovanni-Vincentelli, A.L., McMullen, C.T., Hachtel, G.D.: Logic Minimization Algorithms for VLSI Synthesis (1984)","DOI":"10.1007\/978-1-4613-2821-6"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2005.04.009","volume":"128","author":"F. Cassez","year":"2005","unstructured":"Cassez, F., Roux, O.-H.: Structural translation from time petri nets to timed automata. Electron. Notes Theor. Comput. Sci.\u00a0128, 145\u2013160 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Di Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., M\u00fcller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"2163","DOI":"10.1016\/j.jss.2008.04.035","volume":"81","author":"R. Colvin","year":"2008","unstructured":"Colvin, R., Grunske, L., Winter, K.: Timed behavior trees for failure mode and effects analysis of time-critical systems. J. Syst. Softw.\u00a081, 2163\u20132182 (2008)","journal-title":"J. Syst. Softw."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"de Kler, J., Mackworth, A.K., Reiter, R.: Characterizing dianosis and systems. Artifical Intelligence\u00a056 (1992)","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Eckardt, T., Heinzemann, C., Henkler, S., Hirsch, M., Priesterjahn, C., Sch\u00e4fer, W.: Modeling and verifying dynamic communication structures based on graph transformations. In: Computer Science \u2013 Research and Development, Springer (2011)","DOI":"10.1007\/s00450-011-0184-y"},{"key":"5_CR11","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)"},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0164-1212(93)90029-W","volume":"21","author":"P. Fenelon","year":"1993","unstructured":"Fenelon, P., McDermid, J.A.: An integrated tool set for software safety analysis. Journal of Systems and Software\u00a021(3), 279\u2013290 (1993)","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381766.381770","volume":"2","author":"P. Fenelon","year":"1994","unstructured":"Fenelon, P., McDermid, J.A., Nicolson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. ACM SIGAPP Applied Computing Review\u00a02(1), 21\u201332 (1994)","journal-title":"ACM SIGAPP Applied Computing Review"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Giese, H., Tichy, M.: Component-based hazard analysis: Optimal designs, product lines, and online-reconfiguration. In: Proc. of the 25th International Conference on Computer Safety, Security and Reliability, Gdansk, Poland (2006)","DOI":"10.1007\/11875567_12"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Giese, H., Tichy, M., Schilling, D.: Compositional hazard analysis of uml components and deployment models. In: Proc. of the 23rd SAFECOMP, Potsdam, Germany (2004)","DOI":"10.1007\/978-3-540-30138-7_15"},{"key":"5_CR16","unstructured":"Grunske, L.: Annotation of Component Specifications with Modular Analysis Models for Safety Properties. In: Overhage, S., Turowski, K. (eds.) Proc. of the 1st Int. Workshop on Component Engineering Methodology, Erfurt, Germany (2003)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11424529_3","volume-title":"Component-Based Software Engineering","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. In: Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2005. LNCS, vol.\u00a03489, pp. 33\u201348. Springer, Heidelberg (2005)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Ortmeier, F.: Probabilistic model-based safety analysis. In: Pierro, A.D., Norman, G. (eds.) Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages. EPTCS, vol.\u00a028, pp. 114\u2013128 (2010)","DOI":"10.4204\/EPTCS.28.8"},{"key":"5_CR19","unstructured":"Henke, C., Tichy, M., B\u00f6cker, J., Sch\u00e4fer, W.: Organization and control of autonomous railway convoys. In: Proceedings of the 9th International Symposium on Advanced Vehicle Control, Kobe, Japan (October 2008)"},{"key":"5_CR20","unstructured":"International Electrotechnical Commission, Geneva, Switzerland. International Standard IEC 61025. Fault Tree Analysis, FTA (1990)"},{"issue":"11","key":"5_CR21","doi-asserted-by":"publisher","first-page":"1521","DOI":"10.1016\/j.ress.2006.10.010","volume":"92","author":"B. Kaiser","year":"2007","unstructured":"Kaiser, B., Gramlich, C., F\u00f6rster, M.: State\/event fault trees\u2013A safety analysis model for software-controlled systems. Reliability Engineering & System Safety\u00a092(11), 1521\u20131537 (2007)","journal-title":"Reliability Engineering & System Safety"},{"key":"5_CR22","unstructured":"Kaiser, B., Liggesmeyer, P., Maeckel, O.: A New Component Concept for Fault Trees. In: Proceedings of the 8th National Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. Research and Practice in Information Technology, vol.\u00a033 (October 9-10, 2003)"},{"key":"5_CR23","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. ACM (1995)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-40891-6_16","volume-title":"Computer Safety, Reliability, and Security","author":"J. Magott","year":"2000","unstructured":"Magott, J., Skrobanek, P.: A method of analysis of fault trees with time dependencies. In: Koornneef, F., van der Meulen, M.J.P. (eds.) SAFECOMP 2000. LNCS, vol.\u00a01943, pp. 176\u2013186. Springer, Heidelberg (2000)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"McCluskey, E.J.: Minimization of Boolean Functions. Bell System Technical Journal\u00a035 (1956)","DOI":"10.1002\/j.1538-7305.1956.tb03835.x"},{"issue":"7","key":"5_CR26","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"P.K. McKinley","year":"2004","unstructured":"McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing adaptive software. Computer\u00a037(7), 56\u201364 (2004)","journal-title":"Computer"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: ICSE, pp. 177\u2013186 (1998)","DOI":"10.1109\/ICSE.1998.671114"},{"key":"5_CR28","unstructured":"Ortmeier, F., Reif, W., Schellhorn, G.: Deductive cause-consequence analysis. In: Proceedings of the 16th IFAC World Congress (2006)"},{"issue":"3","key":"5_CR29","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(3), 137\u2013150 (2002)","journal-title":"Information and Software Technology"},{"issue":"3","key":"5_CR30","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0951-8320(00)00076-4","volume":"71","author":"Y. Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Int. Journal of Reliability Engineering and System Safety\u00a071(3), 229\u2013247 (2001)","journal-title":"Int. Journal of Reliability Engineering and System Safety"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Priesterjahn, C.: Hazard analysis of self-optimizing mechatronic systems. In: Proc. of the Doctoral Symposium of the 7th ESEC-FSE, Amsterdam, The Netherlands (2009)","DOI":"10.1145\/1595782.1595790"},{"key":"5_CR32","unstructured":"Priesterjahn, C., Heinzemann, C., Sch\u00e4fer, W.: From timed automata to timed failure propagation graphs. Technical Report tr-ri-12-325, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn (2012), http:\/\/www.cs.uni-paderborn.de\/uploads\/tx_sibibtex\/PHS12_ag.pdf"},{"key":"5_CR33","first-page":"34","volume-title":"Proceedings of the 8th Workshop on Assurances for self-Adaptive Systems, ASAS 2011","author":"C. Priesterjahn","year":"2011","unstructured":"Priesterjahn, C., Steenken, D., Tichy, M.: Component-based timed hazard analysis of self-healing systems. In: Proceedings of the 8th Workshop on Assurances for self-Adaptive Systems, ASAS 2011, pp. 34\u201343. ACM, New York (2011)"},{"issue":"2","key":"5_CR34","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0951-8320(97)00034-3","volume":"58","author":"A. Rauzy","year":"1997","unstructured":"Rauzy, A., Dutuit, Y.: Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia. Reliability Engineering & System Safety\u00a058(2), 127\u2013144 (1997)","journal-title":"Reliability Engineering & System Safety"},{"issue":"1","key":"5_CR35","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artifical Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artifical Intelligence"},{"key":"5_CR36","volume-title":"The mathematics of Petri nets","author":"C. Reutenauer","year":"1990","unstructured":"Reutenauer, C.: The mathematics of Petri nets. Prentice-Hall, Inc., Upper Saddle River (1990)"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. Foundations, vol.\u00a01. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"key":"5_CR38","unstructured":"Rudell, R.L.: Multiple-Value Logic Minimization for PLA Synthesis. Technical Report M86\/65, University of California at Berkeley, USA (June 1984)"},{"issue":"2","key":"5_CR39","first-page":"139","volume":"4","author":"M. Seda","year":"2008","unstructured":"Seda, M.: Heuristic Set-Covering-Based Postprocessing for Improving the Quine-McCluskey Method. International Journal of Computational Intelligence (IJCI)\u00a04(2), 139\u2013143 (2008)","journal-title":"International Journal of Computational Intelligence (IJCI)"},{"key":"5_CR40","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison Wesley (1996)"},{"key":"5_CR41","unstructured":"Tichy, M., Henkler, S., Holtmann, J., Oberth\u00fcr, S.: Component story diagrams: A transformation language for component structures in mechatronic systems. In: Postproc. of the 4th Workshop OMER, Paderborn, Germany. HNI Verlagsschriftenreihe (2008)"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"van Orman Quine, W.: A Way to Simplify Truth Functions. The American Mathematical Monthly\u00a062 (1955)","DOI":"10.2307\/2307285"},{"key":"5_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-75101-4_12","volume-title":"Computer Safety, Reliability, and Security","author":"M. Walker","year":"2007","unstructured":"Walker, M., Bottaci, L., Papadopoulos, Y.: Compositional Temporal Fault Tree Analysis. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, pp. 106\u2013119. Springer, Heidelberg (2007)"},{"key":"5_CR44","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.entcs.2005.02.051","volume":"141","author":"M. Wallace","year":"2005","unstructured":"Wallace, M.: Modular architectural representation and analysis of fault propagation and transformation. Electronic Notes in Theoretical Computer Science\u00a0141, 53\u201371 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"3","key":"5_CR45","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s10489-008-0143-x","volume":"36","author":"J. Weber","year":"2012","unstructured":"Weber, J., Wotawa, F.: Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. Appl. Intell.\u00a036(3), 511\u2013528 (2012)","journal-title":"Appl. Intell."}],"container-title":["Lecture Notes in Computer Science","Assurances for Self-Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36249-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:08:43Z","timestamp":1745946523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36249-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362484","9783642362491"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36249-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}