Efficient Algorithms for Interface Timing Verification. - Ti-Yen Yen; Alex Ishii; Albert E. Casavant; Wayne H. Wolf (Formal Methods Syst. Des., 1998)