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]

@inproceedings{ScaifeSCTM04,
  title = {Defining and translating a  safe  subset of simulink/stateflow into lustre},
  author = {Norman Scaife and Christos Sofronis and Paul Caspi and Stavros Tripakis and Florence Maraninchi},
  year = {2004},
  doi = {10.1145/1017753.1017795},
  url = {http://doi.acm.org/10.1145/1017753.1017795},
  tags = {translation},
  researchr = {https://researchr.org/publication/ScaifeSCTM04},
  cites = {0},
  citedby = {0},
  pages = {259-268},
  booktitle = {EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings},
  editor = {Giorgio C. Buttazzo},
  publisher = {ACM},
  isbn = {1-58113-860-1},
}