Translation Validation: From Simulink to C. - Michael Ryabtsev; Ofer Strichman (CAV, 2009)