C. Fang, P. Yu, and B. Williams, “Chance-Constrained Probabilistic Simple Temporal Problems”, AAAI, vol. 28, no. 1, Jun. 2014.