@inproceedings{CCM+03a,
title = {Translating Discrete-Time {S}imulink to {L}ustre },
author = {Caspi, Paul and Curic, Adrian and Maignan, Aude and Sofronis, Christos and Tripakis, Stavros},
year = {2003},
booktitle = {Embedded Software EMSOFT2003},
pages = {84--99},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {2855},
team = {SYNC},
}
