k-counting automataJoël Allred and Ulrich Ultes-NitscheRAIRO-Theor. Inf. Appl., 46 4 (2012) 461-478DOI: https://doi.org/10.1051/ita/2012021