Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis (The Springer International Series in Engineering and Computer Science)