@article{CCM+05,
title = {Translating Discrete-Time {S}imulink to {L}ustre },
author = {Caspi, Paul and Curic, Adrian and Maignan, Aude and Sofronis, Christos and Tripakis, Stavros},
month = {September},
year = {2005},
journal = {ACM Trans. Embedded Computing Systems},
number = {4},
pages = {779 -- 818},
volume = {4},
team = {SYNC},
}
