TY  - RPRT
TI  - Formal representation of product design specifications for validating product designs 
AU  - Weissman, Alex
AU  - Gupta, Satyandra K
AU  - Fiorentini, Xenia
AU  - Sudarsan, Rachuri
AU  - Sriram, Ram D
PY  - 2009
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 7626
DO  - 10.6028/NIST.IR.7626
ER  -