@techreport{micskei-waeselynck-laas-06797,
  author={Zoltan Micskei and Hélene Waeselynck and Minh Duc Nguyen and Nicolas Riviere},
  title={Analysis of a group membership protocol for Ad-hoc networks},
  year={2006},
  abstract={This report presents an analysis for a particular group membership
    protocol developed for mobile systems. Various unspecified parts and design
    defects were identified by reviewing the specification. With the help of modeling
    the implementation and the specification were compared and several differences
    were uncovered. The analysis of the implementation revealed further issues.},
  institution={Laboratoire d'Analyse et d'Architecture des Systemes (LAAS)},
  number={06797}
}