SCEst: Sequentially Constructive Esterel. - Steven Smyth; Christian Motika; Karsten Rathlev; Reinhard von Hanxleden; Michael Mendler (ACM Trans. Embed. Comput. Syst., 2018)