Geometric Product Specification and Verification: Integration of Functionality