TAU '04: ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems 2004