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