Automated Reuse Of Systemfunctionality Information For Fpa Andsystem Specification