T. S. Hune og A. B. Sandholm, “Using Automata in Control Synthesis. A Case Study”, BRICS, bd. 7, nr. 22, sep. 2000.