An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models. - Suryo Buono; Viktor Ramich; Bernhard Kaiser; Justyna Zander (Software Engineering (Workshops), 2015)