Timing Verification Using HDTV. - Alan R. Martello; Steven P. Levitan; Donald M. Chiarulli (DAC, 1990)

Temporal Analysis of Time Bounded Digital Systems. - Alan R. Martello; Steven P. Levitan (CHARME, 1993)