Cimatti, A., L. Hunsberger, A. Micheli, and M. Roveri. “Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks With Uncertainty”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.9040.