Kundan Nepal, Hui-Yuan Song, R. Iris Bahar, Joel Grodstein. RESTA: a robust and extendable symbolic timing analysis tool. In David Garrett, John Lach, Charles A. Zukowski, editors, Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004. pages 407-412, ACM, 2004. [doi]