@misc{1138266,
  author = {Alex Weissman and Satyandra K Gupta and Xenia Fiorentini and Rachuri Sudarsan and Ram D Sriram},
  title = {Formal representation of product design specifications for validating product designs:},
  year = {2009},
  month = {2009-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.7626},
  language = {en},
}