On exponentiation, $p$-automata and HNN extensions of free abelian groups

For every prime $p$ it is shown that a wide class of HNN extensions of free abelian groups admit faithful representation by finite $p$-automata.