Model-based safety analysis of a control system using Simulink and Simscape extended modelsNian Shao, Shuguang Zhang and Hui LiangMATEC Web Conf., 139 (2017) 00219DOI: https://doi.org/10.1051/matecconf/201713900219