@misc{756986,
  author = {Paul Black and P Ammann and W Ding},
  title = {Model Checkers in Software Testing},
  year = {2002},
  month = {2002-02-01 00:02:00},
  publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=51075},
  doi = {https://doi.org/10.6028/NIST.IR.6777},
  language = {en},
}