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

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]

Authors

Norman Scaife

This author has not been identified. Look up 'Norman Scaife' in Google

Christos Sofronis

This author has not been identified. Look up 'Christos Sofronis' in Google

Paul Caspi

This author has not been identified. Look up 'Paul Caspi' in Google

Stavros Tripakis

Identified as Stavros Tripakis

Florence Maraninchi

This author has not been identified. Look up 'Florence Maraninchi' in Google