Timed Boolean Functions A Unified Formalism For Exact Timing Analysis | Desertcart Greece