发送短信: Timed Boolean functions : a unified formalism for exact timing analysis / William K.C. Lam, Robert K. Brayton.