Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty. Performance debugging of Esterel specifications. In Catherine H. Gebotys, Grant Martin, editors, Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008. pages 173-178, ACM, 2008. [doi]
Abstract is missing.