SoS Methodologies for the Definition of Lean Manufacturing Systems