Marius Bozga Radu Iosif Yassine Lakhnech Flat Parametric Counter Automata. 275-303 2009 91 Fundam. Inform. 2 http://dx.doi.org/10.3233/FI-2009-0044 db/journals/fuin/fuin91.html#BozgaIL09