Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis (1994)

by W K C Lam, R K Brayton