WCDT: Systematic WCET Optimization for Decision Tree Implementations
(2025).