7.2 Formulation of requirements