@misc{29266,
  author = {Ioana Singureanu},
  title = {Testability Report for SCRIPT},
  year = {2011},
  month = {2011-08-31},
  publisher = {Grant/Contract Reports (NISTGCR), National Institute of Standards and Technology, Gaithersburg, MD},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=910169},
  language = {en},
}