Context-sensitive timing analysis of Esterel programs.

Lei Ju Bach Khoa Huynh Samarjit Chakraborty Abhik Roychoudhury Context-sensitive timing analysis of Esterel programs. 870-873 2009 DAC http://doi.acm.org/10.1145/1629911.1630132 conf/dac/2009 db/conf/dac/dac2009.html#JuHCR09