Yiannis Papadopoulos, Matthias Maruhn. Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. In 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. pages 77-82, IEEE Computer Society, 2001. [doi]
Abstract is missing.