Formalization of Systems Engineering processes: