@techreport{JP09c,
  title         = {Towards a toolkit for efficient and flexible verification under fairness},
  author        = {J. Sun and Y. Liu and J.-S. Dong and J. Pang},
  number        = {TRB2/09},
  institution   = {National University of Singapore, School of Computing},
  year          = {2009}
}