@InProceedings{VBBB09,
  author =       "K. Verstoep and H. Bal and J. Barnat and L. Brim",
  title =        "{Efficient Large-Scale Model Checking}",
  booktitle =    "23rd IEEE International Parallel & Distributed Processing Symposium (IPDPS 2009)",
  year =         "2009",
  publisher =    "IEEE"
}