{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:47:16Z","timestamp":1776782836123,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642407925","type":"print"},{"value":"9783642407932","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40793-2_26","type":"book-chapter","created":{"date-parts":[[2013,8,27]],"date-time":"2013-08-27T02:10:59Z","timestamp":1377569459000},"page":"285-292","source":"Crossref","is-referenced-by-count":7,"title":["A Controlled Experiment on Component Fault Trees"],"prefix":"10.1007","author":[{"given":"Jessica","family":"Jung","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Jedlitschka","sequence":"additional","affiliation":[]},{"given":"Kai","family":"H\u00f6fig","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Domis","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Hiller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"International Electrotechnical Commission, Fault tree analysis (FTA), IEC 61025 ed2.0 (December 13, 2006)"},{"key":"26_CR2","unstructured":"SAE International, Guidelines for Development of Civil Aircraft and Systems. ARP4754A (2010)"},{"key":"26_CR3","unstructured":"Radio Technical Commission for Aeronautics Software, Considerations in Airborne Systems and Equipment Certification. DO-178C (2012)"},{"key":"26_CR4","unstructured":"Object Management Group: OMG Systems Modeling Language, http:\/\/www.omgsysml.org\/ (last visited March 9, 2013)"},{"issue":"3","key":"26_CR5","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1049\/iet-sen:20070050","volume":"2","author":"M.A. Miguel de","year":"2008","unstructured":"de Miguel, M.A., Briones, J.F., Silva, J.P., Alonso, A.: Integration of safety analysis in model-driven software development. IET Software\u00a02(3), 260\u2013280 (2008)","journal-title":"IET Software"},{"key":"26_CR6","unstructured":"Damm, W., Votintseva, A., Metzner, A., Josko, B., Peikenkamp, T., B\u00f6de, E.: Boosting Re-use of Embedded Automotive Applications Through Rich Components. In: Elsevier\u2019s Electronic Notes in Theoretical Computer Science. Elsevier Science B.V. (2005)"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. Computer Safety, Reliability and Security (1999)","DOI":"10.1007\/3-540-48249-0_13"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Domis, D., Hoefig, K., Trapp, M.: A Consistency Check Algorithm for Component-based Refinements of Fault Trees. In: Proc. 21st IEEE Intern. Symposium on Software Reliability Engineering (ISSRE), San Jose CA, USA, pp. 171\u2013180 (2010)","DOI":"10.1109\/ISSRE.2010.23"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Adler, R., Domis, D., Hoefig, K., Kemmann, S., Kuhn, T., Schwinn, J., Trapp, M.: Integration of Component Fault Trees into the UML. Non-functional System Properties in Domain Specific Modeling Languages. In (NFPinDSML 2010), Workshop at ACM\/IEEE 13th Intern. Conf. on Model Driven Engineering Languages and Systems, Oslo, Norway (2010)","DOI":"10.1007\/978-3-642-21210-9_30"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-540-75563-0_29","volume-title":"Conceptual Modeling - ER 2007","author":"T. St\u00e5lhane","year":"2007","unstructured":"St\u00e5lhane, T., Sindre, G.: A Comparison of Two Approaches to Safety Analysis Based on Use Cases. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 423\u2013437. Springer, Heidelberg (2007)"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1007\/978-3-540-87875-9_50","volume-title":"Model Driven Engineering Languages and Systems","author":"T. St\u00e5lhane","year":"2008","unstructured":"St\u00e5lhane, T., Sindre, G.: Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 721\u2013735. Springer, Heidelberg (2008)"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-13094-6_14","volume-title":"Advanced Information Systems Engineering","author":"T. St\u00e5lhane","year":"2010","unstructured":"St\u00e5lhane, T., Sindre, G., du Bousquet, L.: Comparing safety analysis based on sequence diagrams and textual use cases. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 165\u2013179. Springer, Heidelberg (2010)"},{"key":"26_CR13","unstructured":"Briand, L., Falessi, D., Nejati, S., Sabetzadeh, M., Yue, T.: Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment. Technical Report, Simula Research Laboratory (August. 2010)"},{"issue":"10","key":"26_CR14","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1109\/TSE.2007.70722","volume":"33","author":"G.J. Pai","year":"2007","unstructured":"Pai, G.J., Dugan, J.B.: Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods. IEEE Trans. Software Eng.\u00a033(10), 675\u2013686 (2007)","journal-title":"IEEE Trans. Software Eng."},{"key":"26_CR15","volume-title":"Mind and Its Evolution: A Dual Coding Theoretical Approach","author":"A. Paivio","year":"2006","unstructured":"Paivio, A.: Mind and Its Evolution: A Dual Coding Theoretical Approach. Lawrence Erlbaum, Mahwah (2006)"}],"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-40793-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,4]],"date-time":"2022-03-04T22:28:15Z","timestamp":1646432895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40793-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407925","9783642407932"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40793-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}