VALIDATION OF PRODUCT REDESIGN BY INTEGRATING FUNCTIONAL REASONING AND AXIOMATIC DESIGN