Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas | IEEE Conference Publication | IEEE Xplore