@misc{indiciae3cc9a2bdaffa,
  title = {Program Model Checking: A Practitioner's Guide},
  author = {Pressburger, Thomas T. and Mansouri-Samani, Masoud and Mehlitz, Peter C. and Pasareanu, Corina S. and Markosian, Lawrence Z. and Penix, John J. and Brat, Guillaume P. and Visser, Willem C.},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20080015887},
  note = {Source identifier: 20080015887}
}