A Novel Methodology For Synthesis Of Fault Trees From Matlab-Simulink Model · Study