@article{SmythMRvH+17,
  author = {Steven Smyth and Christian Motika and Karsten Rathlev and Reinhard von Hanxleden and Michael Mendler},
  title = {{SCEst: Sequentially Constructive Esterel}},
  journal = {ACM Transactions on Embedded Computing Systems (TECS)---Special Issue on MEMOCODE 2015},
  year = {2017},
  volume = {17},
  number = {2},
  month = {December},
  pages = {33:1--33:26},
  articleno = {33},
  doi = {doi.org/10.1145/3063129},
  pdf = {tecs17.pdf},
}