Context-sensitive timing analysis of Esterel programs - Ju, L. (2013)
Proceedings - Design Automation Conference