@article{visser03model,
  author = "Willem Visser and Klaus Havelund and Guillaume Brat and Seungjoon Park and Flavio Lerda",
  title = "{Model Checking Programs}",
  journal = "Automated Software Engineering",
  volume = 10,
  number = 2,
  year = 2003,
  pages = "203--232",
}