Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. - Yiannis Papadopoulos; Matthias Maruhn (DSN, 2001)