Metrics for Project Management: Formalized Approaches