Translating discrete-time Simulink to Lustre (2003)

by P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis
Venue:In Proceedings of Third International Conference on Embedded Software, LNCS 2855