Hune, T. S.; Sandholm, A. B. Using Automata in Control Synthesis. A Case Study. BRICS 2000, 7.