Automatic Verification of Parametric Specifications with Complex Topologies