SWE.1 Software Requirements Analysis
17-50 Verification criteria