The use of formal methodologies for parametric modeling has been shown to significantly improve the robustness and reusability of feature-based CAD models, particularly in response to changes, which has implications in the ...