Fang, C.; Yu, P.; Williams, B. Chance-Constrained Probabilistic Simple Temporal Problems. AAAI 2014, 28.