Parametric Verification of a Group Membership Algorithm