Using a Knowledge-Based System to Link Design, Manufacturing, and Verification in a Collaborative Environment