@inproceedings{RathlevSMvH+15, author = {Karsten Rathlev and Steven Smyth and Christian Motika and Reinhard von Hanxleden and Michael Mendler}, title = {{SCEst: Sequentially Constructive Esterel}}, booktitle = {Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '15)}, year = {2015}, month = {September}, address = {Austin, TX, USA}, pdf = {memocode15.pdf}, }