{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T15:22:18Z","timestamp":1773760938956,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540245483","type":"print"},{"value":"9783540305873","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30587-3_28","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T15:12:10Z","timestamp":1278515530000},"page":"178-190","source":"Crossref","is-referenced-by-count":8,"title":["An Automated Dependability Analysis Method for COTS-Based Systems"],"prefix":"10.1007","author":[{"given":"Lars","family":"Grunske","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Kaiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03792-8","volume-title":"Reliability engineering: theory and practice","author":"A. Birolini","year":"1999","unstructured":"Birolini, A.: Reliability engineering: theory and practice. Springer, New York (1999)"},{"key":"28_CR2","unstructured":"Bondavalli, A., Simoncini, L.: Failure Classification with Respect to Detection. Predictably Dependable Computing Systems, Task B\u00a02 (May 1990)"},{"issue":"8","key":"28_CR3","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"28_CR4","unstructured":"CENELEC: Railway applications The specification and demonstration of dependability, reliability, availability, maintainability and safety (RAMS), European Committee for Electrotechnical Standardisation, Brussels, Standard EN 50126, 128, 129 (2000-2002)"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D.J.: Towards Integrated Safety Analysis and Design. ACM Applied Computing Review (1994)","DOI":"10.1145\/381766.381770"},{"key":"28_CR6","unstructured":"Grunske, L.: A Visual Architecture Description Language for Embedded Systems with Hierarchical Typed Hypergraphs. In: Proceedings 3rd Workshop on Domain-Specific Modeling at the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Anaheim, pp. 1\u20138 (2003)"},{"key":"28_CR7","unstructured":"IEC 61025: International Standard IEC 61025 Fault Tree Analysis. International Electrotechnical Commission. Geneva (1990)"},{"key":"28_CR8","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A New Component Concept for Fault Trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software (SCS 2003), Adelaide (2003)"},{"key":"28_CR9","series-title":"Dependable Computing and Fault-Tolerant Systems Series","volume-title":"Dependability: Basic Concepts and Associated Terminology","year":"1992","unstructured":"Laprie, J.C. (ed.): Dependability: Basic Concepts and Associated Terminology. Dependable Computing and Fault-Tolerant Systems Series, vol.\u00a05. Springer, Vienna (1992)"},{"issue":"10","key":"28_CR10","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"28_CR11","volume-title":"Software Reliability - Measurement, Prediction, Application","author":"J.D. Musa","year":"1987","unstructured":"Musa, J.D., Iannino, A., Okumoto, K.: Software Reliability - Measurement, Prediction, Application. McGraw-Hill International Editions, New York (1987)"},{"issue":"3","key":"28_CR12","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 Behavior of Complex Programmable Electronic Systems in Conditions of Failure. Reliability Engineering and System Safety\u00a071(3), 229\u2013247 (2001)","journal-title":"Reliability Engineering and System Safety"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y. Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 139\u2013152. Springer, Heidelberg (1999)"},{"key":"28_CR14","unstructured":"Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses, Dissertation, University of York (1999)"},{"issue":"3","key":"28_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0164-1212(02)00080-8","volume":"66","author":"R. Reussner","year":"2003","unstructured":"Reussner, R., Schmidt, H., Poernomo, I.: Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software\u00a066(3), 241\u2013252 (2003)","journal-title":"Journal of Systems and Software"},{"key":"28_CR16","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley, Chichester (1994)"},{"key":"28_CR17","unstructured":"Szyperski, C.: Component Software. Beyond Object-Oriented Programming. ACM Press\/Addison Wesley (1998)"},{"key":"28_CR18","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC (1981)"}],"container-title":["Lecture Notes in Computer Science","COTS-Based Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30587-3_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:25:52Z","timestamp":1605741952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30587-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540245483","9783540305873"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30587-3_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}