@misc{841446,
  author = {P Ammann and Paul Black and William Majurski},
  title = {Using Model Checking to Generate Tests from Specifications},
  year = {1998},
  month = {1998-11-01 00:11:00},
  publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD},
  language = {en},
}