Translating Discrete-Time Simulink to Lustre.

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis

Browse the full EMSOFT paper archive.