A novel approach towards model-driven reliability analysis of Simulink models | IEEE Conference Publication | IEEE Xplore