Yiannis Papadopoulos Matthias Maruhn Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. 77-82 2001 conf/dsn/2001 DSN http://computer.org/proceedings/dsn/1101/11010077abs.htm db/conf/dsn/dsn2001.html#PapadopoulosM01