From simulink to scade/lustre to tta: a layered approach for distributed embedded applications (0)

by P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis, P Niebert
Venue:in ACM Sigplan Notices