Translation Validation: From Simulink to C.

Michael Ryabtsev, Ofer Strichman

Browse the full CAV paper archive.