@article{Ros130,
  title = "Local search in model checking",
  author = "A.W. Roscoe, P.J. Armstrong and Pragyesh",
  year = "2009",
  booktitle = "To appear in Proc ATVA 2009 (Springer)",
}