Weissman, A.
, Gupta, S.
, Fiorentini, X.
, Sudarsan, R.
and Sriram, R.
(2009),
Formal representation of product design specifications for validating product designs:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.7626
(Accessed September 14, 2024)