parameterized aut