Automated Translation of MATLAB Simulink/Stateflow Models