@inproceedings{AP10,
  author        = {X. An and J. Pang},
  title         = {Model checking round-based distributed algorithms},
  booktitle     = {Proc.\ 15th IEEE Conference on Engineering of Complex Computer Systems},
  publisher     = {IEEE Computer Society},
  year          = {2010},
  pages         = {127--135},
  url           = {http://satoss.uni.lu/members/jun/papers/ICECCS10.pdf}
}