Defining and translating a "safe" subset of simulink/stateflow into lustre.

Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi

Browse the full EMSOFT paper archive.