Parameterized Games and Parameterized Automata - Arno Pauly (2018)