Lei Ju Bach Khoa Huynh Abhik Roychoudhury Samarjit Chakraborty Performance debugging of Esterel specifications. 173-178 2008 CODES+ISSS http://doi.acm.org/10.1145/1450135.1450175 conf/codes/2008 db/conf/codes/codes2008.html#JuHRC08