Translating discrete-time Simulink to Lustre. (2005)

by S Tripakis, C Sofronis, P Caspi, A Curic
Venue:ACM Trans. Embed. Comput. Syst.,