@article{11491,
  author = {Vadim Okun and Paul Black and Yelena Yesha},
  title = {Testing with Model Checker: Insuring Fault Visibility},
  year = {2003},
  number = {2},
  month = {2003-01-05},
  publisher = {WSEAS Transactions on Systems},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=917181},
  language = {en},
}