Monotonic Abstraction: on Efficient Verification of Parameterized Systems