Timing analysis of Esterel programs on general-purpose multiprocessors - Ju, L. (2013)
10.1145/1837274.1837288