Title: Automated tolerance verification for process plan generation