Timing analysis challenges for high speed CPUs at 90nm and below. - Avi Efrati; Moshe Kleyner (Timing Issues in the Specification and Synthesis of Digital Systems, 2002)

Abstracts of Invited Talks. - Giorgio C. Buttazzo; Avi Efrati; John N. Hooker; Claude Le Pape; Joseph Sifakis (Theory and Practice of Timed Systems @ ETAPS, 2002)