Symbolic Timing Verification of Timing Diagrams using Presburger Formulas. - Tod Amon; Gaetano Borriello; Taokuan Hu; Jiwen Liu (DAC, 1997)