Author: ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems (2002 Monterey, California, USA)