T. S. Hune and A. B. Sandholm, “Using Automata in Control Synthesis. A Case Study”, BRICS, vol. 7, no. 22, Sep. 2000.