A Methodology for Systems Engineering