Bouajjani, Merceron, 2005. Parametric Verification of a Group Membership Algorithm.