F. Tajarrod and G. Latif-Shabgahi, A Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. May 2008, vol. 17(5). 1756 - 1762 [viewed 20 April 2024]. Available from: https://publications.waset.org/pdf/12657.