Complementable Normal Form of Parametrized Automata. - Franziska Alber; Philipp Rümmer (CIAA, 2025)