Table 1: (a) Initial requirements for the example project; (b) derived requirements.