Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis | DealShopping Deutschland