J Brandt, K Schneider,
Y Bai - ACM Transactions on Embedded …, 2014 - dl.acm.org
The synchronous model of computation requires that in every step, inputs are read and
outputs are synchronously computed as the reaction of the program. In addition, all internal …