In this paper, we present our proposed workflow taking as entry point a Simulink file (.mdl or .slx) derived from embedded Matlab functions. This workflow allows an automatic transformation from a ...