Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi. Defining and translating a safe subset of simulink/stateflow into lustre. In Giorgio C. Buttazzo, editor, EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. pages 259-268, ACM, 2004. [doi]
Abstract is missing.