Methodology for capturing and formalizing DFM Knowledge