Cimatti, A.; Micheli, A.; Roveri, M. Strong Temporal Planning With Uncontrollable Durations: A State-Space Approach. AAAI 2015, 29.