Model-based synthesis of fault trees from Matlab-Simulink models | IEEE Conference Publication | IEEE Xplore