Automatic Verification of Parameterized Systems by Over-Approximation - Jahundovics, Vladislavs (Linkopings Universitet, 2015)