@inproceedings{SSC+04,
title = {Defining and translating a ``safe'' subset of Simulink/Stateflow into Lustre },
author = {Scaife, Norman and Sofronis, Christos and Caspi, Paul and Tripakis, Stavros and Maraninchi, Florence},
month = {sep},
year = {2004},
booktitle = {Fourth ACM International Conference on Embedded Software (EMSOFT)},
address = {Pise, Italie},
team = {SYNC},
}
