Hune, T.S. and Sandholm, A.B. 2000. Using Automata in Control Synthesis. A Case Study. BRICS Report Series. 7, 22 (Sep. 2000). DOI:https://doi.org/10.7146/brics.v7i22.20149.