k-counting automata Joël Allred and Ulrich Ultes-Nitsche RAIRO-Theor. Inf. Appl., 46 4 (2012) 461-478 Published online: 10 October 2012 DOI: 10.1051/ita/2012021