Hune, Thomas S., og Anders B. Sandholm. “Using Automata in Control Synthesis. A Case Study”. BRICS Report Series 7, no. 22 (september 1, 2000). Set oktober 13, 2026. https://tidsskrift.dk/brics/article/view/20149.