Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{Ros130,
  author = "A.W. Roscoe, P.J. Armstrong and Pragyesh",
  booktitle = "To appear in Proc ATVA 2009 (Springer)",
  title = "Local search in model checking",
  year = "2009",
}