Translating Discrete-Time Simulink to Lustre (2003)

by Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
Venue:In: Third International ACM Conference on Embedded Software, Lecture Notes in Computer Science