9.3 Formulation of requirements