M. Colange, D. Racordon, and D. Buchs, “Computing Bounds for Counter Automata”, eceasst, vol. 72, Nov. 2015.