7.2 Requirements for the refinement