Decomposition of timed decision tables and its use in presynthesis optimizations