@conference{11501,
  author = {Vadim Okun and Paul Black and Y Yesha},
  title = {Testing with Model Checkers: Insuring Fault Visibility},
  year = {2002},
  month = {2002-10-23},
  publisher = {2002 WSEAS International Conference on System Science, Applied Mathematics & Computer Science, and Power Engineering Systems, Rio de Janeiro, -1},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=50790},
  language = {en},
}