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