@misc{70251,
  author = {Thomas Kramer and John Horst},
  title = {System Builders Manual for Version 2.1.5 of the NIST DMIS Test Suite},
  year = {2009},
  month = {2009-08-19},
  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=903204},
  language = {en},
}