The Simulink2Isabelle compiler is now part of the RCRS framework. To obtain it, please visit the RCRS framework webpage.

If you are not automatically redirected, please click here.