Translating discrete-time Simulink to Lustre (0)

by P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis
Venue:ACM Transaction on Embedded Computing Systems