SYS.2.BP2 Structure system requirements
SYS.2.O.2 System requirements are categorized and analyzed for correctnessand verifiability