@inproceedings{PLD08,
  author        = {J. Pang and Z. Luo and Y. Deng},
  title         = {On automatic verification of self-stabilizing population protocols},
  booktitle     = {Proc.\ 2nd IEEE Symposium on Theoretical Aspects of Software Engineering},
  publisher     = {IEEE Computer Society},
  year          = {2008},
  pages         = {185--192},
  url           = {http://satoss.uni.lu/members/jun/papers/TASE08.pdf}
}