@inproceedings{ZSPLD11,
  author        = {S. Zhang and J. Sun and J. Pang and Y. Liu and J.-S. Dong},
  title         = {On combining state space reductions with global fairness assumptions},
  booktitle     = {Proc.\ 17th Symposium on Formal Methods (FM'11)},
  publisher     = {Springer-Verlag},
  series        = {LNCS},
  year          = {2011},
  volume        = {6664},
  pages         = {432--447},
  url           = {http://satoss.uni.lu/members/jun/papers/FM11.pdf}
}