Formal Representation of Product Design Specifications for Validating Product Designs

Created August 27, 2009, Updated September 30, 2013