publication venue for Solving strong controllability of temporal problems with uncertainty using SMT. 20:1-29. 2015