Sistematização do conhecimento da manufatura para uso na revisão formal de projeto: uma aplicação no domínio de componentes de plástico Documento