@article{PLD08b,
  author        = {J. Pang and Z. Luo and Y. Deng},
  title         = {On automatic verification of self-stabilizing population protocols},
  journal       = {Frontiers of Computer Science in China},
  year          = {2008},
  volume        = {2},
  number        = {4},
  pages         = {357--367},
  url           = {http://satoss.uni.lu/members/jun/papers/FCS08.pdf}
}