Suryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander. An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models. In Wolf Zimmermann, Wolfgang Böhm 0002, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón-y-Widemann, Thorsten Weyer, editors, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. Volume 1337 of CEUR Workshop Proceedings, pages 41-50, CEUR-WS.org, 2015. [doi]
Abstract is missing.