Hune, T. S., and A. B. Sandholm. “Using Automata in Control Synthesis. A Case Study”. BRICS Report Series, vol. 7, no. 22, Sept. 2000, doi:10.7146/brics.v7i22.20149.