Requirements analysis for large Ada programs: lessons learned on CCPDS-R | Synapse