{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:39Z","timestamp":1750306779140,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,26]],"date-time":"2013-08-26T00:00:00Z","timestamp":1377475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Federal State of Saxony within project VICCI","award":["100098171"],"award-info":[{"award-number":["100098171"]}]},{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,26]]},"DOI":"10.1145\/2499777.2500721","type":"proceedings-article","created":{"date-parts":[[2013,8,13]],"date-time":"2013-08-13T12:31:21Z","timestamp":1376397081000},"page":"2-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Variability-aware safety analysis using delta component fault diagrams"],"prefix":"10.1145","author":[{"given":"Christoph","family":"Seidl","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"A\u00dfmann","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,8,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ReliaSoft Corporation Web Site: http:\/\/www.reliasoft.com\/BlockSim (accessed on","author":"Help Online","year":"2013","unstructured":"BlockSim7 Online Help . ReliaSoft Corporation Web Site: http:\/\/www.reliasoft.com\/BlockSim (accessed on 15 April 2013 ). BlockSim7 Online Help. ReliaSoft Corporation Web Site: http:\/\/www.reliasoft.com\/BlockSim (accessed on 15 April 2013)."},{"key":"e_1_3_2_1_2_1","volume-title":"Formal Software Construction Limited Web Site: http:\/\/www.openfta.com (accessed on","author":"User Manual FTA","year":"2013","unstructured":"Open FTA User Manual . Formal Software Construction Limited Web Site: http:\/\/www.openfta.com (accessed on 15 April 2013 ). OpenFTA User Manual. Formal Software Construction Limited Web Site: http:\/\/www.openfta.com (accessed on 15 April 2013)."},{"key":"e_1_3_2_1_3_1","volume-title":"Isograph Reliability Software Web Site: http:\/\/www.isograph-software.com\/_techspecs\/rwb103techspec.pdf (accessed on","author":"Technical Specification Reliability Workbench","year":"2013","unstructured":"Reliability Workbench Technical Specification , Version 10.3. Isograph Reliability Software Web Site: http:\/\/www.isograph-software.com\/_techspecs\/rwb103techspec.pdf (accessed on 15 April 2013 ). Reliability Workbench Technical Specification, Version 10.3. Isograph Reliability Software Web Site: http:\/\/www.isograph-software.com\/_techspecs\/rwb103techspec.pdf (accessed on 15 April 2013)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753251"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1890580.1890582"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-5469-1"},{"key":"e_1_3_2_1_7_1","volume-title":"SAFECOMP - Computer Safety, Reliability, and Security","author":"G\u00f3mez C.","year":"2010","unstructured":"C. G\u00f3mez , P. Liggesmeyer , and A. Sutor . Variability Management of Safety and Reliability Models: An Intermediate Model Towards Systematic Reuse of Component Fault Trees . In SAFECOMP - Computer Safety, Reliability, and Security . Springer , 2010 . C. G\u00f3mez, P. Liggesmeyer, and A. Sutor. Variability Management of Safety and Reliability Models: An Intermediate Model Towards Systematic Reuse of Component Fault Trees. In SAFECOMP - Computer Safety, Reliability, and Security. Springer, 2010."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34059-8_10"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1082051.1082054"},{"key":"e_1_3_2_1_10_1","volume-title":"Safeware: System Safety and Computers","author":"Leveson N. G.","year":"1995","unstructured":"N. G. Leveson . Safeware: System Safety and Computers . Addison-Wesley Longman , 1995 . N. G. Leveson. Safeware: System Safety and Computers. Addison-Wesley Longman, 1995."},{"key":"e_1_3_2_1_11_1","volume-title":"Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on. IEEE","author":"Lu D.","year":"2002","unstructured":"D. Lu and R. R. Lutz . Fault Contribution Trees for Product Families . In Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on. IEEE , 2002 . D. Lu and R. R. Lutz. Fault Contribution Trees for Product Families. In Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on. IEEE, 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"Digital Logic & Computer Design. Pearson Education","author":"Mano M. M.","year":"1979","unstructured":"M. M. Mano . Digital Logic & Computer Design. Pearson Education , 1979 . M. M. Mano. Digital Logic & Computer Design. Pearson Education, 1979."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering - Foundations, Principles and Techniques","author":"Pohl K.","year":"2005","unstructured":"K. Pohl , G. B\u00f6ckle , and F. J. van der Linden . Software Product Line Engineering - Foundations, Principles and Techniques . Springer Berlin\/Heidelberg , 2005 . K. Pohl, G. B\u00f6ckle, and F. J. van der Linden. Software Product Line Engineering - Foundations, Principles and Techniques. Springer Berlin\/Heidelberg, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/047000942X"},{"key":"e_1_3_2_1_15_1","volume-title":"Software Product Lines: Going Beyond","author":"Schaefer I.","year":"2010","unstructured":"I. Schaefer , L. Bettini , V. Bono , F. Damiani , and N. Tanzarella . Delta-Oriented Programming of Software Product Lines . In Software Product Lines: Going Beyond . Springer , 2010 . I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-Oriented Programming of Software Product Lines. In Software Product Lines: Going Beyond. Springer, 2010."},{"key":"e_1_3_2_1_16_1","first-page":"14","author":"Schaefer I.","year":"2012","unstructured":"I. Schaefer , R. Rabiser , D. Clarke , L. Bettini , D. Benavides , G. Botterweck , A. Pathak , S. Trujillo , and K. Villela . Software Diversity: State of the Art and Perspectives. STTT , 14 , 2012 . I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides, G. Botterweck, A. Pathak, S. Trujillo, and K. Villela. Software Diversity: State of the Art and Perspectives. STTT, 14, 2012.","journal-title":"Software Diversity: State of the Art and Perspectives. STTT"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430507"},{"key":"e_1_3_2_1_18_1","volume-title":"SAPHIRE Risk and Reliability Assessment Software. Idaho National Engineering and Environmental Laboratory Web Site: http:\/\/saphire.inl.gov\/pdf\/SAPHIRE_overview.pdf (accessed on","author":"Smith C.","year":"2013","unstructured":"C. Smith . SAPHIRE Risk and Reliability Assessment Software. Idaho National Engineering and Environmental Laboratory Web Site: http:\/\/saphire.inl.gov\/pdf\/SAPHIRE_overview.pdf (accessed on 15 April 2013 ). C. Smith. SAPHIRE Risk and Reliability Assessment Software. Idaho National Engineering and Environmental Laboratory Web Site: http:\/\/saphire.inl.gov\/pdf\/SAPHIRE_overview.pdf (accessed on 15 April 2013)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2007.46"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430522"}],"event":{"name":"SPLC 2013 workshops: 17th International Software Product Line Conference co-located workshops","acronym":"SPLC 2013 workshops","location":"Tokyo Japan"},"container-title":["Proceedings of the 17th International Software Product Line Conference co-located workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2499777.2500721","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2499777.2500721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:33:58Z","timestamp":1750232038000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2499777.2500721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,26]]},"references-count":20,"alternative-id":["10.1145\/2499777.2500721","10.1145\/2499777"],"URL":"https:\/\/doi.org\/10.1145\/2499777.2500721","relation":{},"subject":[],"published":{"date-parts":[[2013,8,26]]},"assertion":[{"value":"2013-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}