Automated Reuse of SystemFunctionality Information for FPA andSystem Specification