@article{kazemeyni12jlap,
  author =	 {Fatemeh Kazemeyni and Einar Broch Johnsen and Olaf
                  Owe and Ilangko Balasingham},
  title =	 {Formal Modeling and Validation of a Power-Efficient
                  Grouping Protocol for {WSN}s},
  journal =	 "Journal of Logic and Algebraic Programming",
  volume =	 81,
  number =	 3,
  pages =	 "284--297",
  year =	 2012,
  doi =		 "10.1016/j.jlap.2011.12.001",
}