Performance debugging of Esterel specifications - Ju, L. (2013)
10.1007/s11241-012-9155-z