Colange, M.; Racordon, D.; Buchs, D. Computing Bounds for Counter Automata. eceasst 2015, 72.