The formalization of system engineering models and approaches.