Title: Geometric Product Specification and Verification : Integration of Functionality