Translating discrete-time simulink to lustre (0)

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