Model Checking Succinct and Parametric One−Counter Automata - Göller, S; Haase, C; Ouaknine, J; Worrell, J (Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP'10)‚ Track B (Part II), 2010)