Automatic Verification of Parameterized Systems by Over-Approximation. - Jahundovics, Vladislavs. (Linköping Studies in Science and Technology. Thesis Series, 2015)