Reidenbach, Daniel, Schmid, Markus L., "Automata with Modulo Counters and Nondeterministic Counter Bounds", , 2025