@misc{840226,
  author = {Alex Weissman and Satyandra Gupta and Xenia Fiorentini and Sudarsan Rachuri and Ram Sriram},
  title = {Formal Representation of Product Design Specifications for Validating Product Designs},
  year = {2009},
  month = {2009-08-27 00:08:00},
  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=902722},
  doi = {https://doi.org/10.6028/NIST.IR.7626},
  language = {en},
}