Rintanen, J. Discretization of Temporal Models With Application to Planning With SMT. AAAI 2015, 29.